kernel: scheduling fix for ARM
[minix.git] / lib / libddekit / src / panic.c
blobad63e3ab5eb8c2342a39ea9c6efdad09358d0dc1
1 #include "common.h"
2 #include <ddekit/panic.h>
3 #include <ddekit/printf.h>
5 /****************************************************************************/
6 /* ddekit_panic */
7 /****************************************************************************/
8 void ddekit_panic(char *fmt, ...)
9 {
11 int r;
12 va_list va;
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("","",0);
20 while(1)
24 /****************************************************************************/
25 /* ddekit_debug */
26 /****************************************************************************/
27 void ddekit_debug(char *fmt, ...)
29 int r;
30 va_list va;
31 va_start(va,fmt);
32 r = vprintf(fmt, va);
33 va_end(va);