acpi_processor_ppc_has_changed
void acpi_processor_ppc_has_changed(struct acpi_processor *pr, int event_flag)
static inline void acpi_processor_ppc_has_changed(struct acpi_processor *pr,