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

/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/
H A Dcmdline.h9 typedef struct cmdline_opt { struct
19 void cmdline_parse(const char *cmdline, cmdline_opt_t *cmdline_opt);
/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dcmdline.c106 void cmdline_parse(const char *cmdline, cmdline_opt_t *cmdline_opt) argument
119 cmdline_opt->console_port = bda_ports_count && *bda_port ? *bda_port : 0x3f8;
122 parse_uint16_array(cmdline_val, &cmdline_opt->console_port, 1);
126 if (cmdline_opt->console_port) {
127 serial_init(cmdline_opt->console_port);
128 x86KSconsolePort = cmdline_opt->console_port;
134 if (cmdline_opt->console_port) {
135 printf("Boot config: console_port = 0x%x\n", cmdline_opt->console_port);
141 cmdline_opt->debug_port = bda_ports_count && *bda_port ? *bda_port : 0x3f8;
143 parse_uint16_array(cmdline_val, &cmdline_opt
[all...]
H A Dboot_sys.c59 cmdline_opt_t cmdline_opt; variable
422 if (!config_set(CONFIG_IOMMU) || cmdline_opt.disable_iommu) {
519 cmdline_parse((const char *)(word_t)mbi->part1.cmdline, &cmdline_opt);
633 cmdline_parse(cmdline, &cmdline_opt);

Completed in 228 milliseconds