void _prt_stat( char *msg, status_t stat ) {
if( msg == NULL ) {
return;
}
c_printf( msg, _kstatus(stat) );
if( stat >= N_STATUS ) {
c_printf( "bad code: %d", stat );
}
}
void _kpanic( char *mod, char *msg, Status code ) {
c_puts( "\n\n***** KERNEL PANIC *****\n\n" );
c_printf( "Module: %s\n", mod );
if( msg != NULL ) {
c_printf( msg, _kstatus(code) );
c_putchar( '\n' );
}
if( code >= STATUS_SENTINEL ) {
c_printf( "*** bad code %d\n", code );
}
//
// This might be a good place to do a stack frame
// traceback
//
__panic( "KERNEL PANIC" );
}
void _kpanic( char *mod, char *msg, status_t code ) {
c_puts( "\n\n***** KERNEL PANIC *****\n\n" );
c_printf( "Module: %s\n", mod );
if( msg != NULL ) {
c_printf( msg, _kstatus(code) );
c_putchar( '\n' );
}
if( code >= N_STATUS ) {
c_printf( "*** bad code %d\n", code );
}
//
// This might be a good place to do a stack frame
// traceback
//
// dump out all the queues
_q_dump_all();
__panic( "KERNEL PANIC" );
}
