Searched refs:cmdline_val (Results 1 – 1 of 1) sorted by relevance
/seL4-master/src/arch/x86/kernel/ |
A D | cmdline.c | 20 char cmdline_val[MAX_CMDLINE_VAL_LEN]; variable 121 if (parse_opt(cmdline, "console_port", cmdline_val, MAX_CMDLINE_VAL_LEN) != -1) { in cmdline_parse() 122 parse_uint16_array(cmdline_val, &cmdline_opt->console_port, 1); in cmdline_parse() 142 if (parse_opt(cmdline, "debug_port", cmdline_val, MAX_CMDLINE_VAL_LEN) != -1) { in cmdline_parse() 143 parse_uint16_array(cmdline_val, &cmdline_opt->debug_port, 1); in cmdline_parse()
|
Completed in 2 milliseconds