get_cpu_for_acpi_id
cpu = get_cpu_for_acpi_id(pa->acpi_processor_uid);
int cpu = get_cpu_for_acpi_id(gicc->uid);