panic.h File Reference

Go to the source code of this file.

Functions

void ddekit_panic (char *fmt,...) __attribute__((noreturn))
 Panic - print error message and enter the kernel debugger.
void ddekit_debug (char *fmt,...)
 Print a debug message.


Generated on Wed Apr 11 06:39:15 2012 for DDE - The L4 Device Driver Environment by  doxygen 1.5.6