Searched refs:cmdline (Results 1 - 5 of 5) sorted by relevance

/seL4-refos-master/kernel/src/arch/x86/kernel/
H A Dcmdline.c10 #include <arch/kernel/cmdline.h>
32 static int UNUSED parse_opt(const char *cmdline, const char *opt, char *value, int bufsize) argument
38 for (; is_space(*cmdline) && (*cmdline != 0); cmdline++);
39 if (*cmdline == 0) {
43 for (optptr = opt; *optptr && *cmdline && (*cmdline != '=') && !is_space(*cmdline)
44 && (*optptr == *cmdline); optpt
62 parse_bool(const char *cmdline, const char *opt) argument
106 cmdline_parse(const char *cmdline, cmdline_opt_t *cmdline_opt) argument
[all...]
H A Dboot_sys.c13 #include <arch/kernel/cmdline.h>
519 cmdline_parse((const char *)(word_t)mbi->part1.cmdline, &cmdline_opt);
632 char const *const cmdline = (char const * const)(behind_tag); local
633 cmdline_parse(cmdline, &cmdline_opt);
/seL4-refos-master/kernel/include/arch/x86/arch/kernel/
H A Dcmdline.h19 void cmdline_parse(const char *cmdline, cmdline_opt_t *cmdline_opt);
H A Dmultiboot.h37 uint32_t cmdline; member in struct:multiboot_info::multiboot_part1
/seL4-refos-master/libs/libmuslc/
H A Dconfigure725 cmdline=$(quote "$0")
726 for i ; do cmdline="$cmdline $(quote "$i")" ; done
733 # $cmdline

Completed in 92 milliseconds