Searched defs:barrelfish_id (Results 1 - 6 of 6) sorted by relevance
| /barrelfish-master/usr/acpi/arch/armv8/ |
| H A D | acpi_interrupts_arch.c | 171 coreid_t barrelfish_id; local
|
| /barrelfish-master/usr/acpi/ |
| H A D | acpi_parse_madt.c | 110 coreid_t barrelfish_id; local
312 coreid_t barrelfish_id; local
[all...] |
| /barrelfish-master/usr/acpi/arch/x86/ |
| H A D | acpi_interrupts_arch.c | 228 coreid_t barrelfish_id; local
|
| /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
[all...] |
| /barrelfish-master/usr/drivers/cpuboot/ |
| H A D | main.c | 145 uint64_t barrelfish_id, kcb_id; local
177 uint64_t barrelfish_id, hw_id, enabled, type; local
|
| /barrelfish-master/usr/drivers/cpuboot/arch/armv8/ |
| H A D | boot_arch.c | 874 uint64_t enabled, type, barrelfish_id; local
|
Completed in 31 milliseconds