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)
131 {
return kip->version & L4_KIP_VERSION_FIASCO_MASK; }
133 L4_INLINE
const char*
139 {
return kip->offset_version_strings << 4; }
147 if (
sizeof(
unsigned long) == 8)
148 return kip->_clock_val;
150 c = (
unsigned long *)&kip->_clock_val;
160 return ((
unsigned long long)h1 << 32) | l;
167 unsigned long *c = (
unsigned long *)&kip->_clock_val;
L4 compiler related defines.
#define L4_NOTHROW
Mark a function declaration and definition as never throwing an exception.
void l4_mb(void)
Memory barrier.
unsigned long l4_umword_t
Unsigned machine word.
l4_uint64_t l4_cpu_time_t
CPU clock type.
unsigned int l4_uint32_t
Unsigned 32bit value.
L4 Kernel Interface Page.
l4_umword_t l4_kip_version(l4_kernel_info_t *kip) L4_NOTHROW
Get the kernel version.
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_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_cpu_time_t l4_kip_clock(l4_kernel_info_t *kip) L4_NOTHROW
Return clock value from the KIP.
const char * l4_kip_version_string(l4_kernel_info_t *kip) L4_NOTHROW
Get the kernel version string.