acpi_processor_ignore_ppc_init
void acpi_processor_ignore_ppc_init(void)
static inline void acpi_processor_ignore_ppc_init(void)