Home
last modified time | relevance | path

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

/seL4-master/src/arch/x86/kernel/
A Dcmdline.c32 static int UNUSED parse_opt(const char *cmdline, const char *opt, char *value, int bufsize) in parse_opt() argument
43 for (optptr = opt; *optptr && *cmdline && (*cmdline != '=') && !is_space(*cmdline) in parse_opt()
62 static int parse_bool(const char *cmdline, const char *opt) in parse_bool() argument
72 …for (optptr = opt; *optptr && *cmdline && !is_space(*cmdline) && (*optptr == *cmdline); optptr++, … in parse_bool()
/seL4-master/tools/dts/
A Domap3.dts3395 ti,nand-ecc-opt = "ham1";
/seL4-master/manual/
A DDoxyfile981 # can opt to disable this feature.

Completed in 11 milliseconds