/* Reboot, halt and power_off stubs. They just call _machine_restart, _machine_halt or _machine_power_off.  */
void machine_restart(char *command)
/* Reboot, halt and power_off stubs. They just call _machine_restart, _machine_halt or _machine_power_off.  */
void machine_restart(char *command)
{
	if ((!in_interrupt() && !in_atomic()) || oops_in_progress)
		console_unblank();
	_machine_restart(command);
}