kdebug.h File Reference

Kernel debugger macros. More...

#include <l4/sys/compiler.h>

Go to the source code of this file.

Defines
#define	enter_kdebug(text)
	Enter L4 kernel debugger.
#define	asm_enter_kdebug(text)
	Enter L4 kernel debugger (plain assembler version).
#define	kd_display(text)
	Show message with L4 kernel debugger, but do not enter debugger.
#define	ko(c)
	Output character with L4 kernel debugger.
Functions
void	outchar (char c)
	Print character.
void	outstring (const char *text)
	Print character string.
void	outnstring (char const *text, unsigned len)
	Print character string.
void	outhex32 (int number)
	Print 32 bit number (hexadecimal).
void	outhex20 (int number)
	Print 20 bit number (hexadecimal).
void	outhex16 (int number)
	Print 16 bit number (hexadecimal).
void	outhex12 (int number)
	Print 12 bit number (hexadecimal).
void	outhex8 (int number)
	Print 8 bit number (hexadecimal).
void	outdec (int number)
	Print number (decimal).
char	l4kd_inchar (void)
	Read character from console, non blocking.
void	fiasco_profile_start (void)
	Start profiling.
void	fiasco_profile_stop_and_dump (void)
	Stop profiling and dump result to console.
void	fiasco_profile_stop (void)
	Stop profiling.
void	fiasco_watchdog_enable (void)
	Enable Fiasco watchdog.
void	fiasco_watchdog_disable (void)
	Disable Fiasco watchdog.
void	fiasco_watchdog_takeover (void)
	Disable automatic resetting of watchdog.
void	fiasco_watchdog_giveback (void)
	Reenable automatic resetting of watchdog.
void	fiasco_watchdog_touch (void)
	Reset watchdog from userland.

---

Detailed Description

Kernel debugger macros.

Definition in file kdebug.h.