|
L4Re - L4 Runtime Environment
|
Kernel Interface Page. More...
Collaboration diagram for Kernel Interface Page: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().
Here is the caller graph for this function:
|
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().
Here is the call graph for this function:
Here is the caller graph for this function:
|
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().
Here is the call graph for this function: