local_irq_disable(); #ifndef CONFIG_SMP disable_local_APIC(); #endif disable_IO_APIC(); local_irq_enable(); 
machine_shutdown(); 
void machine_restart(char * __unused){	int i;	printk("machine restart\n");	machine_shutdown();	if (!reboot_force) {		local_irq_disable();#ifndef CONFIG_SMP		disable_local_APIC();#endif		disable_IO_APIC();		local_irq_enable();	}		/* Tell the BIOS if we want cold or warm reboot */	*((unsigned short *)__va(0x472)) = reboot_mode;       	for (;;) {		/* Could also try the reset bit in the Hammer NB */		switch (reboot_type) { 		case BOOT_KBD:		for (i=0; i<100; i++) {			kb_wait();			udelay(50);			outb(0xfe,0x64);         /* pulse reset low */			udelay(50);		}		case BOOT_TRIPLE: 			__asm__ __volatile__("lidt (%0)": :"r" (&no_idt));			__asm__ __volatile__("int3");			reboot_type = BOOT_KBD;			break;		}      	}      }
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/7c9a90073c75bffbb89763a0c7d44a2e44e9e628/reboot.c/clean/arch/x86_64/kernel/reboot.c