L4 kernel debugger
[L4 System Calls]

Defines and functions to use the L4 kernel debugger. More...

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.

---

Detailed Description

Defines and functions to use the L4 kernel debugger.

---

Define Documentation

#define enter_kdebug

(

text

)

Enter L4 kernel debugger.

Parameters:

text

Text to be shown at kernel debugger prompt

Definition at line 20 of file kdebug.h.

#define asm_enter_kdebug

(

text

)

Enter L4 kernel debugger (plain assembler version).

Parameters:

text

Text to be shown at kernel debugger prompt

Definition at line 35 of file kdebug.h.

#define kd_display

(

text

)

Show message with L4 kernel debugger, but do not enter debugger.

Parameters:

text

Text to be shown

Definition at line 48 of file kdebug.h.

#define ko

(

c

)

Output character with L4 kernel debugger.

Parameters:

c

Character to be shown

Definition at line 64 of file kdebug.h.

---

Function Documentation

void outchar

(

char

c

)

[inline]

Print character.

Parameters:

c

Character

Definition at line 233 of file kdebug.h.

void outstring

(

const char *

text

)

[inline]

Print character string.

Parameters:

text

Character string

Definition at line 245 of file kdebug.h.

void outnstring	(	char const *	text,
		unsigned	len
	)			[inline]

Print character string.

Parameters:

	text	Character string
	len	Number of charachters

Definition at line 258 of file kdebug.h.

void outhex32

(

int

number

)

[inline]

Print 32 bit number (hexadecimal).

Parameters:

number

32 bit number

Definition at line 273 of file kdebug.h.

void outhex20

(

int

number

)

[inline]

Print 20 bit number (hexadecimal).

Parameters:

number

20 bit number

Definition at line 284 of file kdebug.h.

void outhex16

(

int

number

)

[inline]

Print 16 bit number (hexadecimal).

Parameters:

number

16 bit number

Definition at line 295 of file kdebug.h.

void outhex12

(

int

number

)

[inline]

Print 12 bit number (hexadecimal).

Parameters:

number

12 bit number

Definition at line 306 of file kdebug.h.

void outhex8

(

int

number

)

[inline]

Print 8 bit number (hexadecimal).

Parameters:

number

8 bit number

Definition at line 317 of file kdebug.h.

void outdec

(

int

number

)

[inline]

Print number (decimal).

Parameters:

number

Number

Definition at line 328 of file kdebug.h.

char l4kd_inchar

(

void

)

[inline]

Read character from console, non blocking.

Returns:

Input character, -1 if no character to read

Definition at line 339 of file kdebug.h.