kprintf.h File Reference

printf using the kernel debugger More...

Go to the source code of this file.

Functions
L4_CV int	l4_kprintf (const char *fmt,...)

---

Detailed Description

printf using the kernel debugger

Date:

04/05/2007

Author:

Adam Lackorzynski <adam@os.inf.tu-dresden.de>,

Definition in file kprintf.h.