acpi_pptt_get_cpus_from_container
void acpi_pptt_get_cpus_from_container(u32 acpi_cpu_id, cpumask_t *cpus)
static inline void acpi_pptt_get_cpus_from_container(u32 acpi_cpu_id,