kernel/fiasco/src/abi/arm/kip-arm.cpp

   1 /*
   2  * ARM Kernel-Info Page
   3  */
   4
   5 INTERFACE [arm]:
   6
   7 #include "types.h"
   8
   9 EXTENSION class Kip
  10 {
  11 public:
  12
  13   Mword magic;
  14   Mword version;
  15   Mword offset_version_strings;
  16   Mword res0; //offset_memory_descs;
  17
  18   /* 0x10 */
  19   Mword _res1[4];
  20
  21
  22   /* the following stuff is undocumented; we assume that the kernel
  23      info page is located at offset 0x1000 into the L4 kernel boot
  24      image so that these declarations are consistent with section 2.9
  25      of the L4 Reference Manual */
  26
  27   /* 0x20 */
  28   Mword sigma0_sp, sigma0_ip;
  29   Mword _res2[2];
  30
  31   /* 0x30 */
  32   Mword sigma1_sp, sigma1_ip;
  33   Mword _res3[2];
  34
  35   /* 0x40 */
  36   Mword root_sp,   root_ip;
  37   Mword _res4[2];
  38
  39   /* 0x50 */
  40   Mword l4_config;
  41   Mword _mem_info;
  42   Mword kdebug_config;
  43   Mword kdebug_permission;
  44
  45   /* 0x60 */
  46   Mword total_ram;
  47   Mword processor_info;
  48   Mword _res6[14];
  49
  50   /* 0xA0 */
  51   volatile Cpu_time clock;
  52   Mword _res7[2];
  53
  54   /* 0xB0 */
  55   Mword frequency_cpu;
  56   Mword frequency_bus;
  57   Mword _res10[2];
  58
  59   /* 0xC0 */
  60   Mword _res11[8];
  61
  62   /* 0xE0 */
  63   Mword user_ptr;
  64   Mword vhw_offset;
  65   char _res8[8];
  66
  67   /* 0xF0 */
  68   Kernel_uart_info  kernel_uart_info;
  69   Platform_info     platform_info;
  70 };
  71
  72 //---------------------------------------------------------------------------
  73 IMPLEMENTATION [arm && debug]:
  74
  75 IMPLEMENT inline
  76 void
  77 Kip::debug_print_syscalls() const
  78 {}
  79