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

/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dcmdline.c82 static void UNUSED parse_uint16_array(char *str, uint16_t *array, int array_size) function
122 parse_uint16_array(cmdline_val, &cmdline_opt->console_port, 1);
143 parse_uint16_array(cmdline_val, &cmdline_opt->debug_port, 1);

Completed in 28 milliseconds