Home
last modified time | relevance | path

Searched defs:l4_kernel_info_t (Results 1 – 2 of 2) sorted by relevance

/l4re-core-master/l4sys/include/
A D__kip-32bit.h38 typedef struct l4_kernel_info_t struct
41 l4_uint32_t magic; /**< Kernel Info Page
44 l4_uint32_t version; ///< Kernel version
46 l4_uint8_t fill0[3]; ///< reserved \internal
48 l4_uint8_t fill1[3]; ///< reserved \internal
58 l4_umword_t _res00[3]; ///< default_kdebug_end
64 l4_umword_t _res01[2]; ///< reserved \internal
70 l4_umword_t _res02[2]; ///< reserved \internal
76 l4_umword_t _res03[2]; ///< reserved \internal
80 l4_umword_t _res50[1]; ///< reserved \internal
[all …]
A D__kip-64bit.h36 typedef struct l4_kernel_info_t struct
39 l4_uint64_t magic; /**< Kernel Info Page
42 l4_uint64_t version; ///< Kernel version
44 l4_uint8_t fill2[7]; ///< reserved \internal
45 l4_uint8_t kip_sys_calls; ///< pointer to system calls
46 l4_uint8_t fill3[7]; ///< reserved \internal
56 l4_umword_t _res00[3]; ///< default_kdebug_end
62 l4_umword_t _res01[2]; ///< reserved \internal
68 l4_umword_t _res02[2]; ///< reserved \internal
74 l4_umword_t _res03[2]; ///< reserved \internal
[all …]

Completed in 5 milliseconds