Searched refs:parse_opt (Results 1 – 1 of 1) sorted by relevance

/seL4-master/src/arch/x86/kernel/
A D	cmdline.c	32 static int UNUSED parse_opt(const char *cmdline, const char *opt, char *value, int bufsize) in parse_opt() function 121 if (parse_opt(cmdline, "console_port", cmdline_val, MAX_CMDLINE_VAL_LEN) != -1) { in cmdline_parse() 142 if (parse_opt(cmdline, "debug_port", cmdline_val, MAX_CMDLINE_VAL_LEN) != -1) { in cmdline_parse()

Completed in 2 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023