Searched refs:uinteger (Results 1 - 7 of 7) sorted by relevance

/barrelfish-master/include/getopt/
H A Dgetopt.h39 unsigned *uinteger; member in union:cmdarg::__anon35
/barrelfish-master/kernel/arch/armv7/
H A Dinit.c66 { "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 Dboot_driver.c178 { "consolePort", ArgType_UInt, { .uinteger = (void *)0 } },
184 bootargs[0].var.uinteger= &serial_console_port;
/barrelfish-master/kernel/arch/arm/
H A Dgic.c30 {"gic", ArgType_UInt, { .uinteger = &platform_gic_cpu_interface_base }},
31 {"gicdist", ArgType_UInt, { .uinteger = &platform_gic_distributor_base }}
/barrelfish-master/lib/getopt/
H A Dgetopt.c131 return handle_uint(a->var.uinteger, val);
/barrelfish-master/kernel/arch/armv8/
H A Dinit.c59 {"timeslice", ArgType_UInt, { .uinteger = &config_timeslice }},
/barrelfish-master/kernel/arch/x86/
H A Dstartup_x86.c435 {"timeslice", ArgType_UInt, { .uinteger = &config_timeslice }},

Completed in 43 milliseconds