00001 /* $Id: mbi_argv.h 31603 2008-05-12 06:54:17Z adam $ */ 00009 /* (c) 2003 Technische Universitaet Dresden 00010 * This file is part of DROPS, which is distributed under the terms of the 00011 * GNU General Public License 2. Please see the COPYING file for details. */ 00012 00013 #ifndef L4UTIL_MBI_ARGV 00014 #define L4UTIL_MBI_ARGV 00015 00016 #include <l4/sys/l4int.h> 00017 #include <l4/util/mb_info.h> 00018 #include <l4/sys/compiler.h> 00019 00020 EXTERN_C_BEGIN 00021 00022 L4_CV void l4util_mbi_to_argv(l4_mword_t flag, l4util_mb_info_t *mbi); 00023 00024 extern int l4util_argc; 00025 extern char *l4util_argv[]; 00026 00027 EXTERN_C_END 00028 00029 #endif 00030