105 struct l4_kip_platform_info platform_info;
unsigned long l4_umword_t
Unsigned machine word.
l4_uint64_t l4_cpu_time_t
CPU clock type.
unsigned char l4_uint8_t
Unsigned 8bit value.
unsigned int l4_uint32_t
Unsigned 32bit value.
struct l4_kernel_info_t l4_kernel_info_t
L4 Kernel Interface Page.
Common L4 ABI Data Types.
L4 Kernel Interface Page.
l4_umword_t _res00[3]
default_kdebug_end
l4_umword_t _res50[1]
reserved
l4_uint8_t fill1[2]
reserved
l4_umword_t sigma1_eip
Sigma1 instruction pointer.
l4_umword_t _res06[10]
reserved
l4_umword_t frequency_bus
Bus frequency.
l4_uint32_t version
Kernel version.
l4_umword_t user_ptr
user_ptr
l4_umword_t _res01[2]
reserved
l4_umword_t sigma0_esp
Sigma0 start stack pointer.
l4_umword_t root_eip
Root task instruction pointer.
l4_umword_t root_esp
Root task stack pointer.
l4_umword_t _res05[2]
reserved
l4_umword_t vhw_offset
offset to vhw structure
l4_uint8_t offset_version_strings
offset to version string
l4_umword_t _res03[2]
reserved
l4_uint8_t kip_sys_calls
pointer to system calls
l4_uint8_t fill0[3]
reserved
l4_umword_t sigma1_esp
Sigma1 start stack pointer.
l4_umword_t _res04[16]
reserved
l4_uint32_t magic
Kernel Info Page identifier ("L4µK").
l4_umword_t scheduler_granularity
for rounding time slices
l4_umword_t _res02[2]
reserved
l4_umword_t _res58[2]
reserved
l4_umword_t mem_info
memory information
l4_umword_t frequency_cpu
CPU frequency in kHz.
l4_umword_t sigma0_eip
Sigma0 instruction pointer.