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 
37 
49 
56 
65 
67 
74 #define l4util_kip_for_each_feature(s) \
75  for (s += strlen(s) + 1; *s; s += strlen(s) + 1)
76 
unsigned long l4util_kip_kernel_abi_version(l4_kernel_info_t *)
Return kernel ABI version.
#define EXTERN_C_END
End section with C types and functions.
Definition: compiler.h:187
L4 compiler related defines.
L4 Kernel Interface Page.
Definition: __kip-32bit.h:38
Kernel Info Page access functions.
#define EXTERN_C_BEGIN
Start section with C types and functions.
Definition: compiler.h:186
#define L4_CV
Define calling convention.
Definition: linkage.h:44
int l4util_kip_kernel_has_feature(l4_kernel_info_t *, const char *str)
Check if kernel supports a feature.
int l4util_kip_kernel_is_ux(l4_kernel_info_t *)
Return whether the kernel is running native or under UX.
unsigned long l4_addr_t
Address type.
Definition: l4int.h:45
l4_addr_t l4util_memdesc_vm_high(l4_kernel_info_t *kinfo)
Return end of virtual memory.