Home
last modified time | relevance | path

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

/seL4-master/src/arch/x86/kernel/
A Dcmdline.c18 #define MAX_CMDLINE_VAL_LEN 1000 macro
20 char cmdline_val[MAX_CMDLINE_VAL_LEN];
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