L4 Kernel Interface Page. More...

Collaboration diagram for l4_kernel_info_t:

Data Fields
l4_uint32_t	magic
	Kernel Info Page identifier ("L4µK").

l4_uint32_t	version
	Kernel version.

l4_uint8_t	offset_version_strings
	offset to version string

l4_uint8_t	fill0 [3]
	reserved

l4_uint8_t	kip_sys_calls
	pointer to system calls

l4_uint8_t	fill1 [2]
	reserved

l4_umword_t	scheduler_granularity
	for rounding time slices

l4_umword_t	_res00 [3]
	default_kdebug_end

l4_umword_t	sigma0_esp
	Sigma0 start stack pointer.

l4_umword_t	sigma0_eip
	Sigma0 instruction pointer.

l4_umword_t	_res01 [2]
	reserved

l4_umword_t	sigma1_esp
	Sigma1 start stack pointer.

l4_umword_t	sigma1_eip
	Sigma1 instruction pointer.

l4_umword_t	_res02 [2]
	reserved

l4_umword_t	root_esp
	Root task stack pointer.

l4_umword_t	root_eip
	Root task instruction pointer.

l4_umword_t	_res03 [2]
	reserved

l4_umword_t	_res50 [1]
	reserved

l4_umword_t	mem_info
	memory information

l4_umword_t	_res58 [2]
	reserved

l4_umword_t	_res04 [16]
	reserved

l4_umword_t	_res05 [2]
	reserved

l4_umword_t	frequency_cpu
	CPU frequency in kHz.

l4_umword_t	frequency_bus
	Bus frequency.

l4_umword_t	_res06 [10]
	reserved

l4_umword_t	user_ptr
	user_ptr

l4_umword_t	vhw_offset
	offset to vhw structure

l4_uint64_t	magic
	Kernel Info Page identifier ("L4µK").

l4_uint64_t	version
	Kernel version.

l4_uint8_t	fill2 [7]
	reserved

l4_uint8_t	fill3 [6]
	reserved

l4_umword_t	_res_a0 [1]
	reserved

l4_umword_t	_res_b0 [2]
	reserver

Detailed Description

L4 Kernel Interface Page.

Definition at line 38 of file __kip-32bit.h.

The documentation for this struct was generated from the following files:

Data Fields