|
@@ -138,6 +138,10 @@ void machine_power_off(void)
|
|
|
pdc_soft_power_button(0);
|
|
|
|
|
|
pdc_chassis_send_status(PDC_CHASSIS_DIRECT_SHUTDOWN);
|
|
|
+
|
|
|
+ /* ipmi_poweroff may have been installed. */
|
|
|
+ if (pm_power_off)
|
|
|
+ pm_power_off();
|
|
|
|
|
|
/* It seems we have no way to power the system off via
|
|
|
* software. The user has to press the button himself. */
|
|
@@ -151,7 +155,7 @@ void machine_power_off(void)
|
|
|
for (;;);
|
|
|
}
|
|
|
|
|
|
-void (*pm_power_off)(void) = machine_power_off;
|
|
|
+void (*pm_power_off)(void);
|
|
|
EXPORT_SYMBOL(pm_power_off);
|
|
|
|
|
|
void flush_thread(void)
|