Lines Matching defs:boot_cpu_id
138 int boot_cpu_id = -1; /* designated BSP */
243 KASSERT(boot_cpu_id == -1,
245 boot_cpu_id));
246 boot_cpu_id = apic_id;
309 /* Set boot_cpu_id if needed. */
310 if (boot_cpu_id == -1) {
311 boot_cpu_id = PCPU_GET(apic_id);
312 cpu_info[boot_cpu_id].cpu_bsp = 1;
314 KASSERT(boot_cpu_id == PCPU_GET(apic_id),
315 ("BSP's APIC ID doesn't match boot_cpu_id"));
316 cpu_apic_ids[0] = boot_cpu_id;
317 apic_cpuids[boot_cpu_id] = 0;
477 printf(" cpu0 (BSP): APIC ID: %2d\n", boot_cpu_id);