Barrelfish
Functions | Variables
logging.c File Reference

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
 

Detailed Description

Logging kernel support code.

Function Documentation

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.

Parameters
levelLoglevel of message.
msgThe message (printf() format string)

Variable Documentation

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