minix/lib/libddekit/src/panic.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34

#include "common.h"
#include <ddekit/panic.h>
#include <ddekit/printf.h>

/****************************************************************************/
/*      ddekit_panic                                                        */
/****************************************************************************/
void ddekit_panic(char *fmt, ...)
{ 
	
	int r;
    va_list va;

	printf("%c[31;1mPANIC: \033[0m\n",0x1b);
    va_start(va,fmt);
    r = vprintf(fmt, va);
    va_end(va);
	panic("panicced");	

	while(1)
		;
}

/****************************************************************************/
/*      ddekit_debug                                                        */
/****************************************************************************/
void ddekit_debug(char *fmt, ...)
{
    int r; 
    va_list va;
    va_start(va,fmt);
    r = vprintf(fmt, va);
    va_end(va); 
}