for (i = 0; i < 100; i++) { 
for (i = 0; i < 10; i++) { 
static inline void mach_reboot(void){	int i;	for (i = 0; i < 100; i++) {		kb_wait();		udelay(50);		outb(0x60, 0x64);	/* write Controller Command Byte */		udelay(50);		kb_wait();		udelay(50);		outb(0x14, 0x60);	/* set "System flag" */		udelay(50);		kb_wait();		udelay(50);		outb(0xfe, 0x64);	/* pulse reset low */		udelay(50);	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/a6f5deb2be4c82f24fefadcbf7e448f540c05ae6/mach_reboot.h/buggy/include/asm-i386/mach-default/mach_reboot.h