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.