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

   1 /*
   2  * AMD64 Kernel-Info Page
   3  */
   4
   5 INTERFACE [amd64]:
   6
   7 #include "types.h"
   8
   9 EXTENSION class Kip
  10 {
  11 public:
  12
  13   /* 00 */
  14   Mword      magic;
  15   Mword      version;
  16   Unsigned8  offset_version_strings;
  17   Unsigned8  fill2[7];
  18   Unsigned8  kip_sys_calls;
  19   Unsigned8  fill3[7];
  20
  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 */
  25
  26   /* 20 */
  27   Mword      init_default_kdebug;
  28   Mword      default_kdebug_exception;
  29   Mword      sched_granularity;
  30   Mword      default_kdebug_end;
  31
  32   /* 40 */
  33   Mword      sigma0_sp, sigma0_ip;
  34   Mword      res2[2];
  35
  36   /* 60 */
  37   Mword      sigma1_sp, sigma1_ip;
  38   Mword      res3[2];
  39
  40   /* 80 */
  41   Mword      root_sp, root_ip;
  42   Mword      res4[2];
  43
  44   /* A0 */
  45   Mword      l4_config;
  46   Mword      _mem_info;
  47   Mword      kdebug_config;
  48   Mword      kdebug_permission;
  49
  50   /* C0 */
  51   Mword      total_ram;
  52   Mword      processor_info;
  53   Mword      res5[14];
  54
  55   /* 140 */
  56   volatile Cpu_time clock;
  57   //Unsigned8  fill4[8];
  58   volatile Cpu_time switch_time;
  59   //Unsigned8  fill5[8];
  60
  61   /* 160 */
  62   Mword      frequency_cpu;
  63   Mword      frequency_bus;
  64   volatile Cpu_time thread_time;
  65   //Unsigned8  fill6[8];
  66
  67   /* 180 */
  68   Mword      _res8[4];
  69
  70   /* 1A0 */
  71   Mword      _res9[4];
  72
  73   /* 1C0 */
  74   Mword      user_ptr;
  75   Mword      vhw_offset;
  76   Mword      __pad[2];
  77
  78   /* 1E0 */
  79   Kernel_uart_info  kernel_uart_info;
  80   Platform_info     platform_info;
  81 };
  82