Searched refs:cmdline_parse (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/
H A Dcmdline.h19 void cmdline_parse(const char *cmdline, cmdline_opt_t *cmdline_opt);
/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dcmdline.c16 * It is only used in cmdline_parse(), which therefore is non-reentrant.
106 void cmdline_parse(const char *cmdline, cmdline_opt_t *cmdline_opt) function
H A Dboot_sys.c519 cmdline_parse((const char *)(word_t)mbi->part1.cmdline, &cmdline_opt);
633 cmdline_parse(cmdline, &cmdline_opt);

Completed in 52 milliseconds