Kernel Interface Page.
More...
Kernel Interface Page.
C interface for the Kernel Interface Page:
C++ interface for the Kernel Interface Page:
- Include File
- Include File
-
◆ l4_kernel_info_version_offset()
int l4_kernel_info_version_offset |
( |
l4_kernel_info_t * |
kip | ) |
|
|
inline |
Return offset in bytes of version_strings relative to the KIP base.
- Parameters
-
kip | Pointer to the kernel info page (KIP). |
- Returns
- offset of version_strings relative to the KIP base address, in bytes.
Definition at line 134 of file kip.h.
Referenced by l4_kip_version_string().
◆ l4_kip_clock()
◆ l4_kip_clock_lw()
Return least significant machine word of clock value from the KIP.
- Parameters
-
kip | Pointer to the kernel info page (KIP). |
- Returns
- Lower machine word of clock value from the KIP.
Definition at line 160 of file kip.h.
References l4_mb().
◆ l4_kip_version()
Get the kernel version.
- Parameters
-
- Returns
- Kernel version string. 0 if KIP could not be mapped.
Definition at line 126 of file kip.h.
◆ l4_kip_version_string()
const char * l4_kip_version_string |
( |
l4_kernel_info_t * |
kip | ) |
|
|
inline |