L4Re - L4 Runtime Environment
|
Files | |
file | kip.h |
Macros | |
#define | l4util_kip_for_each_feature(s) for (s += strlen(s) + 1; *s; s += strlen(s) + 1) |
Cycle through kernel features given in the KIP. More... | |
Functions | |
int | l4util_kip_kernel_is_ux (l4_kernel_info_t *) |
Return whether the kernel is running native or under UX. More... | |
int | l4util_kip_kernel_has_feature (l4_kernel_info_t *, const char *str) |
Check if kernel supports a feature. More... | |
unsigned long | l4util_kip_kernel_abi_version (l4_kernel_info_t *) |
Return kernel ABI version. More... | |
l4_addr_t | l4util_memdesc_vm_high (l4_kernel_info_t *kinfo) |
Return end of virtual memory. More... | |
#define l4util_kip_for_each_feature | ( | s | ) | for (s += strlen(s) + 1; *s; s += strlen(s) + 1) |
unsigned long l4util_kip_kernel_abi_version | ( | l4_kernel_info_t * | ) |
Return kernel ABI version.
int l4util_kip_kernel_has_feature | ( | l4_kernel_info_t * | , |
const char * | str | ||
) |
Check if kernel supports a feature.
str | Feature name to check. |
Checks the feature field in the KIP for the given string. The KIP will be mapped if not already mapped. The KIP will not be unmapped again.
int l4util_kip_kernel_is_ux | ( | l4_kernel_info_t * | ) |
Return whether the kernel is running native or under UX.
Returns whether the kernel is running natively or under UX. The KIP will be mapped if not already mapped. The KIP will not be unmapped again.
l4_addr_t l4util_memdesc_vm_high | ( | l4_kernel_info_t * | kinfo | ) |
Return end of virtual memory.