L4Re Operating System Framework
Interface and Usage Documentation
|
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. | |
Enumerations | |
enum | { L4_KIP_OFFS_READ_US = 0x900 , L4_KIP_OFFS_READ_NS = 0x980 } |
Functions | |
l4_kernel_info_t const * | l4_kip (void) L4_NOTHROW |
Get Kernel Info Page. | |
l4_umword_t | l4_kip_version (l4_kernel_info_t const *kip) L4_NOTHROW |
Get the kernel version. | |
const char * | l4_kip_version_string (l4_kernel_info_t const *kip) L4_NOTHROW |
Get the kernel version string. | |
int | l4_kernel_info_version_offset (l4_kernel_info_t const *kip) L4_NOTHROW |
Return offset in bytes of version_strings relative to the KIP base. | |
l4_cpu_time_t | l4_kip_clock (l4_kernel_info_t const *kip) L4_NOTHROW |
Return clock value from the KIP. | |
l4_umword_t | l4_kip_clock_lw (l4_kernel_info_t const *kip) L4_NOTHROW |
Return least significant machine word of clock value from the KIP. | |
l4_uint64_t | l4_kip_clock_ns (l4_kernel_info_t const *kip) L4_NOTHROW |
Return current clock using the KIP in nanoseconds. | |
Kernel Interface Page.
C interface for the Kernel Interface Page:
C++ interface for the Kernel Interface Page:
anonymous enum |
|
inline |
Return offset in bytes of version_strings relative to the KIP base.
kip | Pointer to the kernel info page (KIP). |
Definition at line 207 of file kip.h.
Referenced by l4_kip_version_string().
|
inline |
Get Kernel Info Page.
Definition at line 195 of file kip.h.
Referenced by l4re_kip().
|
inline |
Return clock value from the KIP.
kip | Pointer to the kernel info page (KIP). |
The KIP clock always contains the current (relative) time in micro seconds independently of the CPU frequency. The clock is only guaranteed to be accurate within the scheduling granularity announced in the KIP.
This function basically calls the KIP code for reading the KIP clock with microseconds resolution. The accuracy depends on the platform and the kernel configuration.
Definition at line 211 of file kip.h.
References L4_KIP_OFFS_READ_US.
Referenced by l4_kip_clock_lw(), L4::Poll_timeout_kipclock::set(), and L4::Poll_timeout_kipclock::test().
|
inline |
Return least significant machine word of clock value from the KIP.
kip | Pointer to the kernel info page (KIP). |
This function will always provide the least significant machine word of the clock value from the KIP, regardless of the kernel configuration.
Definition at line 230 of file kip.h.
References l4_kip_clock().
|
inline |
Return current clock using the KIP in nanoseconds.
kip | Pointer to the kernel info page (KIP). |
This function basically calls the KIP code for reading the KIP clock with nanoseconds resolution. The accuracy depends on the platform and the kernel configuration.
Definition at line 221 of file kip.h.
References L4_KIP_OFFS_READ_NS.
|
inline |
Get the kernel version.
kip | Kernel Info Page. |
Definition at line 199 of file kip.h.
References l4_kernel_info_t::version.
|
inline |
Get the kernel version string.
kip | Kernel Info Page. |
Definition at line 203 of file kip.h.
References l4_kernel_info_version_offset().
Referenced by l4_kip_kernel_has_feature().