L4Re Operating System Framework
Interface and Usage Documentation
Loading...
Searching...
No Matches
Kernel Interface Page API
+ Collaboration diagram for Kernel Interface Page API:

Files

file  kip.h
 

Macros

#define l4util_kip_for_each_feature(s)   l4_kip_for_each_feature(s)
 Cycle through kernel features given in the KIP.
 

Functions

int l4util_kip_kernel_is_ux (l4_kernel_info_t const *k)
 Return whether the kernel is running natively or under UX.
 
int l4util_kip_kernel_has_feature (l4_kernel_info_t const *k, char const *str)
 Check if kernel supports a feature.
 
unsigned long l4util_kip_kernel_abi_version (l4_kernel_info_t const *k)
 Return kernel ABI version.
 

Detailed Description

Macro Definition Documentation

◆ l4util_kip_for_each_feature

#define l4util_kip_for_each_feature (   s)    l4_kip_for_each_feature(s)

Cycle through kernel features given in the KIP.

Cycles through all KIP kernel feature strings. s must be a character pointer (char const *) initialized with l4_kip_version_string().

Deprecated:
Use l4_kip_for_each_feature().

Definition at line 68 of file kip.h.

Function Documentation

◆ l4util_kip_kernel_abi_version()

unsigned long l4util_kip_kernel_abi_version ( l4_kernel_info_t const *  k)

Return kernel ABI version.

Parameters
kPointer to the kernel info page (KIP).
Returns
Kernel ABI version.

◆ l4util_kip_kernel_has_feature()

int l4util_kip_kernel_has_feature ( l4_kernel_info_t const *  k,
char const *  str 
)

Check if kernel supports a feature.

Parameters
kPointer to the kernel info page (KIP).
strFeature name to check.
Returns
1 if the kernel supports the feature, 0 if not.

Checks the feature field in the KIP for the given string.

Deprecated:
Use l4_kip_kernel_has_feature().

◆ l4util_kip_kernel_is_ux()

int l4util_kip_kernel_is_ux ( l4_kernel_info_t const *  k)

Return whether the kernel is running natively or under UX.

Parameters
kPointer to the kernel info page (KIP).
Returns
1 when running under UX, 0 if not running under UX.
Examples
examples/sys/ux-vhw/main.c.