Home
last modified time | relevance | path

Searched refs:cmdline_opt (Results 1 – 3 of 3) sorted by relevance

/seL4-master/src/arch/x86/kernel/
A Dcmdline.c106 void cmdline_parse(const char *cmdline, cmdline_opt_t *cmdline_opt) in cmdline_parse() argument
122 parse_uint16_array(cmdline_val, &cmdline_opt->console_port, 1); in cmdline_parse()
126 if (cmdline_opt->console_port) { in cmdline_parse()
127 serial_init(cmdline_opt->console_port); in cmdline_parse()
128 x86KSconsolePort = cmdline_opt->console_port; in cmdline_parse()
134 if (cmdline_opt->console_port) { in cmdline_parse()
143 parse_uint16_array(cmdline_val, &cmdline_opt->debug_port, 1); in cmdline_parse()
147 if (cmdline_opt->debug_port) { in cmdline_parse()
148 serial_init(cmdline_opt->debug_port); in cmdline_parse()
149 x86KSdebugPort = cmdline_opt->debug_port; in cmdline_parse()
[all …]
A Dboot_sys.c57 cmdline_opt_t cmdline_opt; variable
420 if (!config_set(CONFIG_IOMMU) || cmdline_opt.disable_iommu) { in try_boot_sys()
517 cmdline_parse((const char *)(word_t)mbi->part1.cmdline, &cmdline_opt); in try_boot_sys_mbi1()
631 cmdline_parse(cmdline, &cmdline_opt); in try_boot_sys_mbi2()
/seL4-master/include/arch/x86/arch/kernel/
A Dcmdline.h9 typedef struct cmdline_opt { struct
19 void cmdline_parse(const char *cmdline, cmdline_opt_t *cmdline_opt); argument

Completed in 5 milliseconds