Searched refs:ArgType_UInt (Results 1 - 7 of 7) sorted by relevance
| /barrelfish-master/include/getopt/ |
| H A D | getopt.h | 24 ArgType_UInt, enumerator in enum:argtype
|
| /barrelfish-master/kernel/arch/armv7/ |
| H A D | init.c | 66 { "consolePort", ArgType_UInt, { .uinteger = &serial_console_port }},
67 { "debugPort", ArgType_UInt, { .uinteger = &serial_debug_port }},
70 { "timeslice", ArgType_UInt, { .uinteger = &config_timeslice }},
71 { "periphclk", ArgType_UInt, { .uinteger = &periphclk }},
72 { "periphbase", ArgType_UInt, { .uinteger = &periphbase }},
73 { "timerirq" , ArgType_UInt, { .uinteger = &timerirq }},
74 { "cntfrq" , ArgType_UInt, { .uinteger = &cntfrq }},
|
| H A D | boot_driver.c | 178 { "consolePort", ArgType_UInt, { .uinteger = (void *)0 } },
|
| /barrelfish-master/kernel/arch/arm/ |
| H A D | gic.c | 30 {"gic", ArgType_UInt, { .uinteger = &platform_gic_cpu_interface_base }},
31 {"gicdist", ArgType_UInt, { .uinteger = &platform_gic_distributor_base }}
|
| /barrelfish-master/lib/getopt/ |
| H A D | getopt.c | 130 case ArgType_UInt:
|
| /barrelfish-master/kernel/arch/armv8/ |
| H A D | init.c | 59 {"timeslice", ArgType_UInt, { .uinteger = &config_timeslice }},
|
| /barrelfish-master/kernel/arch/x86/ |
| H A D | startup_x86.c | 435 {"timeslice", ArgType_UInt, { .uinteger = &config_timeslice }},
|
Completed in 39 milliseconds