kernel.h File Reference

Kernel Info Page (KIP). More...

#include <l4/sys/types.h>

Go to the source code of this file.

Data Structures
struct	l4_region_t
struct	l4_kernel_info_t
	L4 Kernel Info Page. More...
Defines
#define	L4_KERNEL_INFO_MAGIC   (0x4BE6344CL)
	Kernel Info Page identifier ("L4ľK").
Functions
int	l4_kernel_info_version_offset (l4_kernel_info_t *kip)
	Return offset in bytes of version_strings relative to the KIP base.

---

Detailed Description

Kernel Info Page (KIP).

Definition in file kernel.h.