Searched defs:hwid (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/usr/drivers/cpuboot/arch/x86/
H A Dboot_arch.c504 errval_t spawn_xcore_monitor(coreid_t coreid, hwid_t hwid, argument
/barrelfish-master/usr/drivers/cpuboot/arch/armv7/
H A Dboot_arch.c461 errval_t spawn_xcore_monitor(coreid_t coreid, hwid_t hwid, argument
/barrelfish-master/usr/drivers/cpuboot/arch/armv8/
H A Dboot_arch.c101 static errval_t get_arch_config(hwid_t hwid, struct arch_config * config) argument
627 errval_t spawn_xcore_monitor(coreid_t coreid, hwid_t hwid, argument
[all...]

Completed in 33 milliseconds