Searched refs:boot_cpu_id (Results 1 – 5 of 5) sorted by relevance
188 if (boot_cpu_id == -1) { in cpu_mp_start()189 boot_cpu_id = PCPU_GET(apic_id); in cpu_mp_start()190 cpu_info[boot_cpu_id].cpu_bsp = 1; in cpu_mp_start()192 KASSERT(boot_cpu_id == PCPU_GET(apic_id), in cpu_mp_start()
85 int boot_cpu_id = -1; /* designated BSP */ variable592 node_id = boot_cpu_id >> topo_layers[layer].id_shift; in topo_probe()623 if ((node->hwid & smt_mask) != (boot_cpu_id & smt_mask)) in assign_cpu_ids()627 if (node->hwid != boot_cpu_id) in assign_cpu_ids()879 KASSERT(boot_cpu_id == -1, in cpu_add()881 boot_cpu_id)); in cpu_add()882 boot_cpu_id = apic_id; in cpu_add()
167 boot_cpu_id); in watchdog_ipi_nmi()
248 if (boot_cpu_id == -1) { in cpu_mp_start()249 boot_cpu_id = PCPU_GET(apic_id); in cpu_mp_start()250 cpu_info[boot_cpu_id].cpu_bsp = 1; in cpu_mp_start()252 KASSERT(boot_cpu_id == PCPU_GET(apic_id), in cpu_mp_start()
28 extern int boot_cpu_id;