|
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
1.8.11