|
L4Re - L4 Runtime Environment
|
L4 Kernel Interface Page. More...
#include <__kip-32bit.h>
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 [3] |
| 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 [7] |
| reserved | |
| l4_umword_t | _res_a0 [1] |
| reserved | |
| l4_umword_t | _res_b0 [2] |
| reserver | |
L4 Kernel Interface Page.
Definition at line 38 of file __kip-32bit.h.