/* * db_panic: Called by panic(). May print a stack trace; may enter the * kernel debugger; may just return so that panic() will continue to * halt or reboot the system. */