/* This routine is called from sys_reboot to actually turn off the machine  */
void machine_power_off(void)
/* This routine is called from sys_reboot to actually turn off the machine  */
void machine_power_off(void)
{
	if (chassis_power_off)
		chassis_power_off();
	pdc_soft_power_button(0);
	pdc_chassis_send_status(PDC_CHASSIS_DIRECT_SHUTDOWN);
	printk(KERN_EMERG "System shut down completed.\n"
	       "Please power this system off now.");
}