2 * PPC32 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 sched_granularity;
31 Mword sigma0_sp, sigma0_ip;
35 Mword sigma1_sp, sigma1_ip;
39 Mword root_sp, root_ip;
51 volatile Cpu_time clock;
67 Unsigned32 __reserved[20];
70 //---------------------------------------------------------------------------
71 IMPLEMENTATION [ppc32 && debug]:
75 Kip::debug_print_syscalls() const