acpi_cpuidle_driver_info
static acpi_cpuidle_driver_info *sAcpiProcessor[SMP_MAX_CPUS];
acpi_eval_pdc(acpi_cpuidle_driver_info *device)
acpi_eval_osc(acpi_cpuidle_driver_info *device)
acpi_cpuidle_driver_info *pi = sAcpiProcessor[0];
acpi_cpuidle_driver_info *pi = sAcpiProcessor[smp_get_current_cpu()];
acpi_cstate_quirks(acpi_cpuidle_driver_info *device)
acpi_cpuidle_setup(acpi_cpuidle_driver_info *device)
acpi_processor_init(acpi_cpuidle_driver_info *device)
acpi_cpuidle_driver_info *device;
device = (acpi_cpuidle_driver_info *)calloc(1, sizeof(*device));