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

/seL4-mcs-10.1.1/include/arch/x86/arch/kernel/
H A Dcmdline.h16 typedef struct cmdline_opt { struct
26 void cmdline_parse(const char *cmdline, cmdline_opt_t* cmdline_opt);
/seL4-mcs-10.1.1/src/arch/x86/kernel/
H A Dcmdline.c109 void cmdline_parse(const char *cmdline, cmdline_opt_t* cmdline_opt) argument
122 cmdline_opt->console_port = bda_ports_count && *bda_port ? *bda_port : 0x3f8;
125 parse_uint16_array(cmdline_val, &cmdline_opt->console_port, 1);
129 if (cmdline_opt->console_port) {
130 serial_init(cmdline_opt->console_port);
131 x86KSconsolePort = cmdline_opt->console_port;
137 if (cmdline_opt->console_port) {
138 printf("Boot config: console_port = 0x%x\n", cmdline_opt->console_port);
144 cmdline_opt->debug_port = bda_ports_count && *bda_port ? *bda_port : 0x3f8;
146 parse_uint16_array(cmdline_val, &cmdline_opt
[all...]
H A Dboot_sys.c85 cmdline_opt_t cmdline_opt; variable
478 if (!config_set(CONFIG_IOMMU) || cmdline_opt.disable_iommu) {
575 cmdline_parse((const char *)(word_t)mbi->part1.cmdline, &cmdline_opt);
692 cmdline_parse(cmdline, &cmdline_opt);

Completed in 34 milliseconds