Home
last modified time | relevance | path

Searched defs:cmdline (Results 1 – 3 of 3) sorted by relevance

/seL4-master/src/arch/x86/kernel/
A Dcmdline.c32 static int UNUSED parse_opt(const char *cmdline, const char *opt, char *value, int bufsize) in parse_opt()
62 static int parse_bool(const char *cmdline, const char *opt) in parse_bool()
106 void cmdline_parse(const char *cmdline, cmdline_opt_t *cmdline_opt) in cmdline_parse()
A Dboot_sys.c630 char const *const cmdline = (char const * const)(behind_tag); in try_boot_sys_mbi2() local
/seL4-master/include/arch/x86/arch/kernel/
A Dmultiboot.h37 uint32_t cmdline; member

Completed in 4 milliseconds