L4Re - L4 Runtime Environment
|
Kernel Interface Page. More...
Modules | |
Fiasco-UX Virtual devices | |
Virtual hardware devices, provided by Fiasco-UX. | |
Memory descriptors (C version) | |
C Interface for KIP memory descriptors. | |
Data Structures | |
struct | l4_kernel_info_t |
L4 Kernel Interface Page. More... | |
class | L4::Kip::Mem_desc |
Memory descriptors stored in the kernel interface page. More... | |
Macros | |
#define | L4_KERNEL_INFO_MAGIC (0x4BE6344CL) /* "L4µK" */ |
Kernel Info Page identifier ("L4µK"). | |
Typedefs | |
typedef struct l4_kernel_info_t | l4_kernel_info_t |
L4 Kernel Interface Page. | |
typedef struct l4_kernel_info_t | l4_kernel_info_t |
L4 Kernel Interface Page. | |
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 Interface Page.
C interface for the Kernel Interface Page:
C++ interface for the Kernel Interface Page:
|
inline |
Return offset in bytes of version_strings relative to the KIP base.
kip | Pointer to the kernel info page (KIP). |
Definition at line 134 of file kip.h.
Referenced by l4_kip_version_string().
|
inline |
Return clock value from the KIP.
kip | Pointer to the kernel info page (KIP). |
Definition at line 138 of file kip.h.
References l4_mb().
Referenced by L4::Poll_timeout_kipclock::set(), and L4::Poll_timeout_kipclock::test().
|
inline |
|
inline |
|
inline |
Get the kernel version string.
kip | Kernel Info Page. |
Definition at line 130 of file kip.h.
References l4_kernel_info_version_offset().