acpi_processor_ignore_ppc_init
acpi_processor_ignore_ppc_init();
void acpi_processor_ignore_ppc_init(void);