Searched refs:aci_processor_id (Results 1 – 3 of 3) sorted by relevance
912 } else if (apic_cpus[i].aci_processor_id == procid) { in apic_cpu_add()944 apic_cpus[i].aci_processor_id == procid) { in apic_cpu_add()989 apic_cpus[cpuid].aci_processor_id = procid; in apic_cpu_add()
521 uint32_t aci_processor_id; /* Only used in ACPI mode. */ member
833 apic_cpus[i].aci_processor_id = proc_ids[i]; in acpi_probe()