Searched refs:aci_processor_id (Results 1 – 3 of 3) sorted by relevance
966 } else if (apic_cpus[i].aci_processor_id == procid) { in apic_cpu_add()998 apic_cpus[i].aci_processor_id == procid) { in apic_cpu_add()1043 apic_cpus[cpuid].aci_processor_id = procid; in apic_cpu_add()
520 uint32_t aci_processor_id; /* Only used in ACPI mode. */ member
889 apic_cpus[i].aci_processor_id = proc_ids[i]; in acpi_probe()