1 #include "common.h" 2 #include <ddekit/panic.h> 3 #include <ddekit/printf.h> 4 5 /****************************************************************************/ 6 /* ddekit_panic */ 7 /****************************************************************************/ 8 void ddekit_panic(char *fmt, ...) 9 { 10 11 int r; 12 va_list va; 13 14 printf("%c[31;1mPANIC: \033[0m\n",0x1b); 15 va_start(va,fmt); 16 r = vprintf(fmt, va); 17 va_end(va); 18 panic("panicced"); 19 20 while(1) 21 ; 22 } 23 24 /****************************************************************************/ 25 /* ddekit_debug */ 26 /****************************************************************************/ 27 void ddekit_debug(char *fmt, ...) 28 { 29 int r; 30 va_list va; 31 va_start(va,fmt); 32 r = vprintf(fmt, va); 33 va_end(va); 34 } 35