L4Re - L4 Runtime Environment
kip.h File Reference

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>
+ Include dependency graph for kip.h:
+ This graph shows which files directly or indirectly include this file:

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...
 

Detailed Description

Kernel Info Page access functions.

Definition in file kip.h.