acpi_safe_halt    657 drivers/acpi/processor_idle.c 		acpi_safe_halt();
acpi_safe_halt    776 drivers/acpi/processor_idle.c 				acpi_safe_halt();