acpi_processor_notify  237 drivers/acpi/processor_driver.c 					     acpi_processor_notify, device);
acpi_processor_notify  273 drivers/acpi/processor_driver.c 				   acpi_processor_notify);