L4Re Operating System Framework – Interface and Usage Documentation
Loading...
Searching...
No Matches
mbi_argv.h
Go to the documentation of this file.
1
8/*
9 * (c) 2003-2009 Author(s)
10 * economic rights: Technische Universität Dresden (Germany)
11 * This file is part of TUD:OS and distributed under the terms of the
12 * GNU Lesser General Public License 2.1.
13 * Please see the COPYING-LGPL-2.1 file for details.
14 */
15
16#ifndef L4UTIL_MBI_ARGV
17#define L4UTIL_MBI_ARGV
18
19#include <l4/sys/l4int.h>
20#include <l4/util/mb_info.h>
21#include <l4/sys/compiler.h>
22
23EXTERN_C_BEGIN
24
25void l4util_mbi_to_argv(l4_mword_t flag, l4util_mb_info_t *mbi);
26
27extern int l4util_argc;
28extern char *l4util_argv[];
29
30EXTERN_C_END
31
32#endif
33
compiler.h
L4 compiler related defines.
l4_mword_t
signed long l4_mword_t
Signed machine word.
Definition l4int.h:48
EXTERN_C_BEGIN
#define EXTERN_C_BEGIN
Start section with C types and functions.
Definition compiler.h:192
EXTERN_C_END
#define EXTERN_C_END
End section with C types and functions.
Definition compiler.h:193
mb_info.h
Multiboot info structure as defined by GRUB.
l4util_mb_info_t
MultiBoot Info description.
Definition mb_info.h:250