|
L4Re - L4 Runtime Environment
|
Include dependency graph for kip.h:Go to the source code of this file.
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... | |