7 #include "kernel_console.h"
13 __assert_fail (const char *__assertion, const char *__file,
16 // make sure that GZIP mode is off
17 Kconsole::console()->end_exclusive(Console::GZIP);
19 printf("\nAssertion failed: '%s'\n"
21 " at " L4_PTR_FMT "\n",
22 __assertion, __file, __line, (Address)__builtin_return_address(0));
28 panic(const char *format, ...)
30 // make sure that GZIP mode is off
31 Kconsole::console()->end_exclusive(Console::GZIP);
35 putstr("\033[1mPanic: ");
36 va_start (args, format);
37 vprintf (format, args);
41 terminate (EXIT_FAILURE);