Searched refs:boot_cpu_id (Results 1 – 5 of 5) sorted by relevance
98 int boot_cpu_id = -1; /* designated BSP */ variable652 node_id = acpi_pxm_get_cpu_locality(boot_cpu_id); in topo_probe()655 node_id = boot_cpu_id >> topo_layers[layer].id_shift; in topo_probe()688 if ((node->hwid & smt_mask) != (boot_cpu_id & smt_mask)) in assign_cpu_ids()692 if (node->hwid != boot_cpu_id) in assign_cpu_ids()968 KASSERT(boot_cpu_id == -1, in cpu_add()970 boot_cpu_id)); in cpu_add()971 boot_cpu_id = apic_id; in cpu_add()
169 boot_cpu_id); in watchdog_ipi_nmi()
251 if (boot_cpu_id == -1) { in cpu_mp_start()252 boot_cpu_id = PCPU_GET(apic_id); in cpu_mp_start()253 cpu_info[boot_cpu_id].cpu_bsp = 1; in cpu_mp_start()255 KASSERT(boot_cpu_id == PCPU_GET(apic_id), in cpu_mp_start()
32 extern int boot_cpu_id;
155 if (boot_cpu_id == -1) { in cpu_mp_start()156 boot_cpu_id = PCPU_GET(apic_id); in cpu_mp_start()157 cpu_info[boot_cpu_id].cpu_bsp = 1; in cpu_mp_start()159 KASSERT(boot_cpu_id == PCPU_GET(apic_id), in cpu_mp_start()