Lines Matching defs:boot_cpu_id
87 int boot_cpu_id = -1; /* designated BSP */
211 if ((id >> core_id_bits) != (boot_cpu_id >> core_id_bits))
267 if ((id >> pkg_id_bits) != (boot_cpu_id >> pkg_id_bits))
271 if ((id >> core_id_bits) == (boot_cpu_id >> core_id_bits))
317 if (x >> bits == boot_cpu_id >> bits)
450 KASSERT(boot_cpu_id == -1,
452 boot_cpu_id));
453 boot_cpu_id = apic_id;
559 /* Set boot_cpu_id if needed. */
560 if (boot_cpu_id == -1) {
561 boot_cpu_id = PCPU_GET(apic_id);
562 cpu_info[boot_cpu_id].cpu_bsp = 1;
564 KASSERT(boot_cpu_id == PCPU_GET(apic_id),
565 ("BSP's APIC ID doesn't match boot_cpu_id"));
597 printf(" cpu0 (BSP): APIC ID: %2d\n", boot_cpu_id);
888 cpu_apic_ids[0] = boot_cpu_id;
889 apic_cpuids[boot_cpu_id] = 0;
890 for (i = boot_cpu_id + 1; i != boot_cpu_id;