L4Re - L4 Runtime Environment
__kip-64bit.h
1 
7 /*
8  * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
9  * Alexander Warg <warg@os.inf.tu-dresden.de>,
10  * Björn Döbel <doebel@os.inf.tu-dresden.de>,
11  * Frank Mehnert <fm3@os.inf.tu-dresden.de>,
12  * Torsten Frenzel <frenzel@os.inf.tu-dresden.de>
13  * economic rights: Technische Universität Dresden (Germany)
14  *
15  * This file is part of TUD:OS and distributed under the terms of the
16  * GNU General Public License 2.
17  * Please see the COPYING-GPL-2 file for details.
18  *
19  * As a special exception, you may use this file as part of a free software
20  * library without restriction. Specifically, if other files instantiate
21  * templates or use macros or inline functions from this file, or you compile
22  * this file and link it with other files to produce an executable, this
23  * file does not by itself cause the resulting executable to be covered by
24  * the GNU General Public License. This exception does not however
25  * invalidate any other reasons why the executable file might be covered by
26  * the GNU General Public License.
27  */
28 #pragma once
29 
30 #include <l4/sys/types.h>
31 
36 typedef struct l4_kernel_info_t
37 {
38  /* offset 0x00 */
47 
48  /* the following stuff is undocumented; we assume that the kernel
49  info page is located at offset 0x1000 into the L4 kernel boot
50  image so that these declarations are consistent with section 2.9
51  of the L4 Reference Manual */
52 
53  /* offset 0x20 */
54  /* Kernel debugger */
56  l4_umword_t _res00[3];
57 
58  /* offset 0x40 */
59  /* Sigma0 */
62  l4_umword_t _res01[2];
63 
64  /* offset 0x60 */
65  /* Sigma1 */
68  l4_umword_t _res02[2];
69 
70  /* offset 0x80 */
71  /* Root task */
74  l4_umword_t _res03[2];
75 
76  /* offset 0xA0 */
77  /* L4 configuration */
81 
82  /* offset 0xC0 */
83  l4_umword_t _res04[16];
84 
85  /* offset 0x140 */
86  union {
87  volatile l4_cpu_time_t clock L4_DEPRECATED("Using kip.clock field is deprecated, use l4_kip_clock() and l4_kip_clock_lw() functions instead.");
88  volatile l4_cpu_time_t _clock_val;
89  };
90  l4_umword_t _res05[1];
93 
94  /* offset 0x160 */
95  l4_umword_t _res06[12];
96 
97  /* offset 0x1C0 */
100  l4_umword_t _res07[2];
101 
102  /* offset 0x1E0 */
103  struct l4_kip_platform_info platform_info;
l4_uint8_t kip_sys_calls
pointer to system calls
Definition: __kip-32bit.h:47
l4_umword_t _res00[3]
default_kdebug_end
Definition: __kip-32bit.h:58
l4_umword_t vhw_offset
offset to vhw structure
Definition: __kip-32bit.h:103
l4_umword_t sigma1_esp
Sigma1 start stack pointer.
Definition: __kip-32bit.h:68
l4_umword_t root_esp
Root task stack pointer.
Definition: __kip-32bit.h:74
l4_umword_t sigma0_eip
Sigma0 instruction pointer.
Definition: __kip-32bit.h:63
Common L4 ABI Data Types.
l4_uint8_t fill3[7]
reserved
Definition: __kip-64bit.h:46
struct l4_kernel_info_t l4_kernel_info_t
L4 Kernel Interface Page.
l4_umword_t _res02[2]
reserved
Definition: __kip-32bit.h:70
l4_umword_t mem_info
memory information
Definition: __kip-32bit.h:81
L4 Kernel Interface Page.
Definition: __kip-32bit.h:38
l4_uint8_t offset_version_strings
offset to version string
Definition: __kip-32bit.h:45
l4_uint64_t version
Kernel version.
Definition: __kip-64bit.h:42
l4_uint64_t l4_cpu_time_t
CPU clock type.
Definition: l4int.h:59
l4_umword_t _res01[2]
reserved
Definition: __kip-32bit.h:64
l4_umword_t _res03[2]
reserved
Definition: __kip-32bit.h:76
l4_umword_t _res06[10]
reserved
Definition: __kip-32bit.h:99
unsigned long l4_umword_t
Unsigned machine word.
Definition: l4int.h:52
l4_umword_t root_eip
Root task instruction pointer.
Definition: __kip-32bit.h:75
l4_umword_t frequency_cpu
CPU frequency in kHz.
Definition: __kip-32bit.h:95
l4_umword_t _res04[16]
reserved
Definition: __kip-32bit.h:85
l4_umword_t scheduler_granularity
for rounding time slices
Definition: __kip-32bit.h:57
l4_umword_t frequency_bus
Bus frequency.
Definition: __kip-32bit.h:96
l4_umword_t _res_a0[1]
reserved
Definition: __kip-64bit.h:78
unsigned char l4_uint8_t
Unsigned 8bit value.
Definition: l4int.h:36
l4_umword_t _res05[2]
reserved
Definition: __kip-32bit.h:92
l4_umword_t sigma1_eip
Sigma1 instruction pointer.
Definition: __kip-32bit.h:69
l4_uint8_t fill2[7]
reserved
Definition: __kip-64bit.h:44
unsigned long long l4_uint64_t
Unsigned 64bit value.
Definition: l4int.h:42
l4_umword_t sigma0_esp
Sigma0 start stack pointer.
Definition: __kip-32bit.h:62
l4_umword_t user_ptr
user_ptr
Definition: __kip-32bit.h:102
l4_umword_t _res_b0[2]
reserver
Definition: __kip-64bit.h:80
#define L4_DEPRECATED(s)
Mark symbol deprecated.
Definition: compiler.h:239
l4_uint64_t magic
Kernel Info Page identifier ("L4µK").
Definition: __kip-64bit.h:39