2 * AMD64 Kernel-Info Page
16 Unsigned8 offset_version_strings;
18 Unsigned8 kip_sys_calls;
21 /* the following stuff is undocumented; we assume that the kernel
22 info page is located at offset 0x1000 into the L4 kernel boot
23 image so that these declarations are consistent with section 2.9
24 of the L4 Reference Manual */
27 Mword init_default_kdebug;
28 Mword default_kdebug_exception;
29 Mword sched_granularity;
30 Mword default_kdebug_end;
33 Mword sigma0_sp, sigma0_ip;
37 Mword sigma1_sp, sigma1_ip;
41 Mword root_sp, root_ip;
48 Mword kdebug_permission;
56 volatile Cpu_time clock;
76 Unsigned32 __reserved[20];