Debug code to see remote kmsgs
authorBarret Rhoden <brho@cs.berkeley.edu>
Mon, 14 May 2012 21:55:04 +0000 (14:55 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 5 Sep 2012 21:43:58 +0000 (14:43 -0700)
commitc3654267a3057044adb7ff3f3b85142a299bbdad
treee16358662f4baaa2a4d62aa3a8b8573f15114c16
parent58c5b087c6b29afc7e5f8172b79c4df4cf16331c
Debug code to see remote kmsgs

Mostly useful for resolving deadlocks - you can see what kmsgs are on
remote cores.  It won't deal with races (though I can build that in if
we want).

The easiest way to use it on x86 is to "trace coretf coreid", since I
built it in the NMI handler.  Or you can kfunc print_kmsgs 0xcoreid
(remember, kfunc deals with hex!).
kern/arch/i686/trap.c
kern/arch/riscv/trap.c
kern/arch/sparc/trap.c
kern/include/trap.h