Files
rpi_b/minix/lib/libddekit/src/panic.c
Lionel Sambuc 433d6423c3 New sources layout
Change-Id: Ic716f336b7071063997cf5b4dae6d50e0b4631e9
2014-07-31 16:00:30 +02:00

35 lines
888 B
C

#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);
}