Barrelfish
|
Logging kernel support code. More...
Functions | |
void | panic (const char *msg,...) |
Print a message and halt the kernel. More... | |
void | printk (int level, const char *msg,...) |
Log a kernel message. More... | |
void | __assert_func (const char *file, int line, const char *func, const char *exp) |
Variables | |
int | kernel_loglevel = DEFAULT_LOGLEVEL |
int | kernel_log_subsystem_mask = DEFAULT_SUBSYSTEM_MASK |
lvaddr_t | kernel_trace_buf = 0 |
Logging kernel support code.
void __assert_func | ( | const char * | file, |
int | line, | ||
const char * | func, | ||
const char * | exp | ||
) |
Helper function used in the implementation of assert()
void panic | ( | const char * | msg, |
... | |||
) |
Print a message and halt the kernel.
Something irrecoverably bad happened. Print a panic message, then halt.
void printk | ( | int | level, |
const char * | msg, | ||
... | |||
) |
Log a kernel message.
Logs printf()-style message 'msg', having loglevel 'level' to the default kernel console(s). Additional arguments are like printf(). Whether the message is put out depends on the current kernel log level.
level | Loglevel of message. |
msg | The message (printf() format string) |
int kernel_log_subsystem_mask = DEFAULT_SUBSYSTEM_MASK |
Default kernel subsystem message mask. Determines messages of what subsystems get output.
int kernel_loglevel = DEFAULT_LOGLEVEL |
Global kernel loglevel.
lvaddr_t kernel_trace_buf = 0 |
Kernel trace buffer