Searched defs:hw_id (Results 1 - 4 of 4) sorted by relevance
/barrelfish-master/usr/kaluga/ |
H A D | start_cpu.c | 45 uint64_t barrelfish_id, type, hw_id, enabled = 0; local 138 uint64_t barrelfish_id, cpu_type, hw_id, enabled = 0; local
|
/barrelfish-master/usr/drivers/cpuboot/ |
H A D | main.c | 177 uint64_t barrelfish_id, hw_id, enabled, type; local
|
/barrelfish-master/usr/drivers/cpuboot/arch/armv7/ |
H A D | boot_arch.c | 40 get_core_info(coreid_t core_id, hwid_t* hw_id, enum cpu_type* cpu_type) argument
|
/barrelfish-master/usr/drivers/cpuboot/arch/armv8/ |
H A D | boot_arch.c | 865 errval_t get_core_info(coreid_t core_id, hwid_t* hw_id, enum cpu_type* cpu_type) argument
|
Completed in 41 milliseconds