Searched refs:CPU_ACPIID_INVALID (Results 1 – 5 of 5) sorted by relevance
164 if (cpu_acpi_id(cpu) != CPU_ACPIID_INVALID) in xen_cpu_up_prepare_hvm()
157 topology_register_apic(apicid++, CPU_ACPIID_INVALID, true); in xen_pv_smp_config()
141 topology_register_apic(apic_id, CPU_ACPIID_INVALID, true); in dtb_cpu_setup()
55 topology_register_apic(m->apicid, CPU_ACPIID_INVALID, m->cpuflag & CPU_ENABLED); in MP_processor_info()
58 #define CPU_ACPIID_INVALID U32_MAX macro