Searched refs:cmdline_val (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/ |
| H A D | cmdline.c | 19 /* 'cmdline_val' is declared globally because of a C-subset restriction.
24 char cmdline_val[MAX_CMDLINE_VAL_LEN]; variable
124 if (parse_opt(cmdline, "console_port", cmdline_val, MAX_CMDLINE_VAL_LEN) != -1) {
125 parse_uint16_array(cmdline_val, &cmdline_opt->console_port, 1);
145 if (parse_opt(cmdline, "debug_port", cmdline_val, MAX_CMDLINE_VAL_LEN) != -1) {
146 parse_uint16_array(cmdline_val, &cmdline_opt->debug_port, 1);
|
Completed in 27 milliseconds