Searched refs:barrelfish_id (Results 1 - 6 of 6) sorted by relevance
| /barrelfish-master/usr/kaluga/ |
| H A D | start_cpu.c | 45 uint64_t barrelfish_id, type, hw_id, enabled = 0; local
47 &enabled, &barrelfish_id, &hw_id, &type);
51 barrelfish_id);
66 barrelfish_id);
138 uint64_t barrelfish_id, cpu_type, hw_id, enabled = 0; local
140 &enabled, &barrelfish_id, &hw_id, &cpu_type);
146 barrelfish_id, cpu_type_to_archstr(cpu_type), hw_id);
149 if (barrelfish_id == my_core_id) {
155 barrelfish_id);
161 snprintf(barrelfish_id_s, 10, "%"PRIu64"", barrelfish_id);
[all...] |
| /barrelfish-master/usr/acpi/arch/armv8/ |
| H A D | acpi_interrupts_arch.c | 171 coreid_t barrelfish_id; local
173 barrelfish_id = 0; // BSP core is 0
176 barrelfish_id = barrelfish_id_counter++;
195 barrelfish_id,
197 barrelfish_id,
|
| /barrelfish-master/usr/acpi/ |
| H A D | acpi_parse_madt.c | 110 coreid_t barrelfish_id; local
112 barrelfish_id = 0; // BSP core is 0
114 barrelfish_id = barrelfish_id_counter++;
121 return oct_set(HW_PROCESSOR_X86_RECORD_FORMAT, barrelfish_id,
122 s->LapicFlags & ACPI_MADT_ENABLED, barrelfish_id,
312 coreid_t barrelfish_id; local
314 barrelfish_id = 0; // BSP core is 0
316 barrelfish_id = barrelfish_id_counter++;
335 return oct_set(HW_PROCESSOR_ARMV8_RECORD_FORMAT, barrelfish_id,
336 s->Flags & ACPI_MADT_ENABLED, barrelfish_id,
[all...] |
| /barrelfish-master/usr/acpi/arch/x86/ |
| H A D | acpi_interrupts_arch.c | 228 coreid_t barrelfish_id; local
230 barrelfish_id = 0; // BSP core is 0
233 barrelfish_id = barrelfish_id_counter++;
236 barrelfish_id,/* hw.processor.%d */
238 barrelfish_id, /* barrelfish_id */
|
| /barrelfish-master/usr/drivers/cpuboot/ |
| H A D | main.c | 145 uint64_t barrelfish_id, kcb_id; local
147 err = oct_read(record, "_ { kcb_id: %d, barrelfish_id: %d, cap_key: %s }",
148 &barrelfish_id, &kcb_id, &cap_key);
152 kcb_id, barrelfish_id, cap_key);
177 uint64_t barrelfish_id, hw_id, enabled, type; local
179 &enabled, &barrelfish_id, &hw_id, &type);
183 barrelfish_id, hw_id, cpu_type_to_archstr(type), enabled);
|
| /barrelfish-master/usr/drivers/cpuboot/arch/armv8/ |
| H A D | boot_arch.c | 874 uint64_t enabled, type, barrelfish_id; local
876 &enabled, &barrelfish_id, hw_id, &type);
|
Completed in 206 milliseconds