L4Re – L4 Runtime Environment
kip.h
Go to the documentation of this file.
1 
5 /*
6  * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
7  * Alexander Warg <warg@os.inf.tu-dresden.de>
8  * economic rights: Technische Universität Dresden (Germany)
9  * This file is part of TUD:OS and distributed under the terms of the
10  * GNU Lesser General Public License 2.1.
11  * Please see the COPYING-LGPL-2.1 file for details.
12  */
13 
14 #pragma once
15 
16 #include <l4/sys/kip.h>
17 #include <l4/sys/compiler.h>
18 
24 
25 
27 
34 
45 
52 
54 
61 #define l4util_kip_for_each_feature(s) \
62  for (s += strlen(s) + 1; *s; s += strlen(s) + 1)
63 
L4 compiler related defines.
#define EXTERN_C_BEGIN
Start section with C types and functions.
Definition: compiler.h:190
#define EXTERN_C_END
End section with C types and functions.
Definition: compiler.h:191
#define L4_CV
Define calling convention.
Definition: linkage.h:44
L4 Kernel Interface Page.
Definition: __kip-32bit.h:39
Kernel Info Page access functions.
int l4util_kip_kernel_has_feature(l4_kernel_info_t *, const char *str)
Check if kernel supports a feature.
unsigned long l4util_kip_kernel_abi_version(l4_kernel_info_t *)
Return kernel ABI version.
int l4util_kip_kernel_is_ux(l4_kernel_info_t *)
Return whether the kernel is running natively or under UX.