Searched refs:boot_cpu_id (Results 1 – 5 of 5) sorted by relevance
196 if (boot_cpu_id == -1) { in cpu_mp_start()197 boot_cpu_id = PCPU_GET(apic_id); in cpu_mp_start()198 cpu_info[boot_cpu_id].cpu_bsp = 1; in cpu_mp_start()200 KASSERT(boot_cpu_id == PCPU_GET(apic_id), in cpu_mp_start()
90 int boot_cpu_id = -1; /* designated BSP */ variable604 node_id = boot_cpu_id >> topo_layers[layer].id_shift; in topo_probe()637 if ((node->hwid & smt_mask) != (boot_cpu_id & smt_mask)) in assign_cpu_ids()641 if (node->hwid != boot_cpu_id) in assign_cpu_ids()899 KASSERT(boot_cpu_id == -1, in cpu_add()901 boot_cpu_id)); in cpu_add()902 boot_cpu_id = apic_id; in cpu_add()
169 boot_cpu_id); in watchdog_ipi_nmi()
28 extern int boot_cpu_id;
233 if (boot_cpu_id == -1) { in cpu_mp_start()234 boot_cpu_id = PCPU_GET(apic_id); in cpu_mp_start()235 cpu_info[boot_cpu_id].cpu_bsp = 1; in cpu_mp_start()237 KASSERT(boot_cpu_id == PCPU_GET(apic_id), in cpu_mp_start()