L4Re - L4 Runtime Environment
|
Kernel Info Page access functions. More...
#include <l4/sys/compiler.h>
#include <l4/sys/l4int.h>
#include <l4/sys/__kip-arch.h>
#include <l4/sys/__kip-64bit.h>
Go to the source code of this file.
Macros | |
#define | L4_KERNEL_INFO_MAGIC (0x4BE6344CL) /* "L4µK" */ |
Kernel Info Page identifier ("L4µK"). | |
Functions | |
l4_umword_t | l4_kip_version (l4_kernel_info_t *kip) L4_NOTHROW |
Get the kernel version. More... | |
const char * | l4_kip_version_string (l4_kernel_info_t *kip) L4_NOTHROW |
Get the kernel version string. More... | |
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. More... | |
l4_cpu_time_t | l4_kip_clock (l4_kernel_info_t *kip) L4_NOTHROW |
Return clock value from the KIP. More... | |
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. More... | |
Kernel Info Page access functions.
Definition in file kip.h.