Lines Matching defs:apic_id
107 static int start_ap(int apic_id);
232 cpu_add(u_int apic_id, char boot_cpu)
235 if (apic_id > MAX_APIC_ID) {
236 panic("SMP: APIC ID %d too high", apic_id);
239 KASSERT(cpu_info[apic_id].cpu_present == 0, ("CPU %d added twice",
240 apic_id));
241 cpu_info[apic_id].cpu_present = 1;
244 ("CPU %d claims to be BSP, but CPU %d already is", apic_id,
246 boot_cpu_id = apic_id;
247 cpu_info[apic_id].cpu_bsp = 1;
252 printf("SMP: Added CPU %d (%s)\n", apic_id, boot_cpu ? "BSP" :
311 boot_cpu_id = PCPU_GET(apic_id);
314 KASSERT(boot_cpu_id == PCPU_GET(apic_id),
619 if (PCPU_GET(apic_id) != lapic_id()) {
621 printf("SMP: actual apic_id = %d\n", lapic_id());
622 printf("SMP: correct apic_id = %d\n", PCPU_GET(apic_id));
644 if (logical_cpus > 1 && PCPU_GET(apic_id) % logical_cpus != 0)
649 PCPU_GET(apic_id) % hyperthreading_cpus != 0)
692 u_int i, apic_id;
695 apic_id = cpu_apic_ids[i];
696 if (apic_id == -1)
698 if (cpu_info[apic_id].cpu_bsp)
700 if (cpu_info[apic_id].cpu_disabled)
705 apic_id % hyperthreading_cpus != 0)
763 int x,apic_id, cpu;
773 apic_id = cpu_apic_ids[cpu];
811 printf("AP #%d (PHY# %d) failed!\n", cpu, apic_id);
979 start_ap(int apic_id)
986 cpu_initialize_context(apic_id);