27 #include <l4/sys/l4int.h> 29 #include <l4/sys/__kip-arch.h> 34 struct l4_kip_platform_info
38 struct l4_kip_platform_info_arch arch;
41 #if L4_MWORD_BITS == 32 42 # include <l4/sys/__kip-32bit.h> 44 # include <l4/sys/__kip-64bit.h> 58 enum l4_kernel_info_consts_t
60 L4_KIP_VERSION_FIASCO = 0x87004444,
61 L4_KIP_VERSION_FIASCO_MASK = 0xff00ffff,
67 #define L4_KERNEL_INFO_MAGIC (0x4BE6344CL) 127 {
return kip->version & L4_KIP_VERSION_FIASCO_MASK; }
129 L4_INLINE
const char*
135 {
return kip->offset_version_strings << 4; }
143 if (
sizeof(
unsigned long) == 8)
144 return kip->_clock_val;
146 c = (
unsigned long *)&kip->_clock_val;
156 return ((
unsigned long long)h1 << 32) | l;
163 unsigned long *c = (
unsigned long *)&kip->_clock_val;
void l4_mb(void)
Memory barrier.
l4_umword_t l4_kip_clock_lw(l4_kernel_info_t *kip) L4_NOTHROW
Return least significant machine word of clock value from the KIP.
l4_umword_t l4_kip_version(l4_kernel_info_t *kip) L4_NOTHROW
Get the kernel version.
L4 compiler related defines.
int l4_kernel_info_version_offset(l4_kernel_info_t *kip) L4_NOTHROW
Return offset in bytes of version_strings relative to the KIP base.
L4 Kernel Interface Page.
l4_uint64_t l4_cpu_time_t
CPU clock type.
unsigned long l4_umword_t
Unsigned machine word.
const char * l4_kip_version_string(l4_kernel_info_t *kip) L4_NOTHROW
Get the kernel version string.
l4_cpu_time_t l4_kip_clock(l4_kernel_info_t *kip) L4_NOTHROW
Return clock value from the KIP.
unsigned int l4_uint32_t
Unsigned 32bit value.
#define L4_NOTHROW
Mark a function declaration and definition as never throwing an exception.