thread_panic      128 kern/include/thread.h void thread_panic(void);
thread_panic      166 kern/lib/kprintf.c 		thread_panic();