for (i=0; i<100; i++) { 
for (i=0; i<10; i++) { 
void machine_emergency_restart(void){	int i;	/* 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;		}      	}      }
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/a6f5deb2be4c82f24fefadcbf7e448f540c05ae6/reboot.c/clean/arch/x86_64/kernel/reboot.c