acpi_map_cpuid
pr->id = acpi_map_cpuid(pr->phys_id, pr->acpi_id);
return acpi_map_cpuid(phys_id, acpi_id);
int acpi_map_cpuid(phys_cpuid_t phys_id, u32 acpi_id);