/* Shutdown everything and perform a clean system halt.  */
void kernel_halt(void)
/* Shutdown everything and perform a clean system halt.  */
void kernel_halt(void)
{
	kernel_shutdown_prepare(SYSTEM_HALT);
	sysdev_shutdown();
	printk(KERN_EMERG "System halted.\n");
	machine_halt();
}