00001 #ifndef PANIC_H 00002 #define PANIC_H 00003 00004 #include <multitasking.h> 00005 00006 void kernel_panic(int, cpu_regs*); 00007 00008 #endif