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 211 of file kip.h.
Referenced by l4_kip_version_string().
|
inline |
Get Kernel Info Page.
Definition at line 192 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 215 of file kip.h.
References L4_KIP_OFFS_READ_US.
Referenced by 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 234 of file kip.h.
References l4_mb().
|
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 225 of file kip.h.
References L4_KIP_OFFS_READ_NS.
|
inline |
Get the kernel version.
kip | Kernel Info Page. |
Definition at line 203 of file kip.h.
References l4_kernel_info_t::version.
|
inline |
Get the kernel version string.
kip | Kernel Info Page. |
Definition at line 207 of file kip.h.
References l4_kernel_info_version_offset().
Referenced by l4_kip_kernel_has_feature().