outb(0xfe, 0x64);         /* pulse reset low */ 
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 */ 
static inline void mach_reboot(void){	int i;	for (i = 0; i < 100; i++) {		kb_wait();		udelay(50);		outb(0xfe, 0x64);         /* pulse reset low */		udelay(50);	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/59f4e7d572980a521b7bdba74ab71b21f5995538/mach_reboot.h/clean/include/asm-i386/mach-default/mach_reboot.h