printk.h File Reference

Go to the source code of this file.

Functions
void	printk (char *format,...)
	Display a kernel message. More...
void	panic (char *format,...)
	Display a message, then halt the system. More...
void	printkd_init (void)
void	printkd_start (void)
void	printkd (void)

Function Documentation

panic()

void panic	(	char *	format,
			...
	)

Display a message, then halt the system.

Parameters

format	The formatting string.
variable	arguments: The variables used by the formatting specifiers.

Return values

None

printk()

void printk	(	char *	format,
			...
	)

Display a kernel message.

Parameters

format	The formatting string.
variable	arguments: The variables used by the formatting specifiers.

Return values

None