cpu_acpi_id       149 arch/x86/xen/enlighten_hvm.c 	if (cpu_acpi_id(cpu) != U32_MAX)
cpu_acpi_id       150 arch/x86/xen/enlighten_hvm.c 		per_cpu(xen_vcpu_id, cpu) = cpu_acpi_id(cpu);