L4 Kernel Info Page
[Datatypes, Defines and Macros]

Data Structures
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.

---

Function Documentation

int l4_kernel_info_version_offset

(

l4_kernel_info_t *

kip

)

[inline]

Return offset in bytes of version_strings relative to the KIP base.

Parameters:

kip

Pointer to the kernel into page (KIP).

Returns:

offset of version_strings relative to the KIP base address, in bytes.

Definition at line 189 of file kernel.h.

References l4_kernel_info_t::offset_version_strings.