Searched refs:ArgType_Int (Results 1 - 5 of 5) sorted by relevance
| /barrelfish-master/include/getopt/ |
| H A D | getopt.h | 23 ArgType_Int, enumerator in enum:argtype
|
| /barrelfish-master/kernel/arch/armv8/ |
| H A D | init.c | 56 {"loglevel", ArgType_Int, { .integer = &kernel_loglevel }},
57 {"logmask", ArgType_Int, { .integer = &kernel_log_subsystem_mask }},
|
| /barrelfish-master/lib/getopt/ |
| H A D | getopt.c | 127 case ArgType_Int:
|
| /barrelfish-master/kernel/arch/armv7/ |
| H A D | init.c | 68 { "loglevel", ArgType_Int, { .integer = &kernel_loglevel }},
69 { "logmask", ArgType_Int, { .integer = &kernel_log_subsystem_mask }},
|
| /barrelfish-master/kernel/arch/x86/ |
| H A D | startup_x86.c | 432 {"loglevel", ArgType_Int, { .integer = &kernel_loglevel }},
433 {"logmask", ArgType_Int, { .integer = &kernel_log_subsystem_mask }},
436 {"serial", ArgType_Int, { .integer = &serial_portbase }},
437 {"bsp_coreid", ArgType_Int, { .integer = &bsp_coreid }},
|
Completed in 44 milliseconds