/* Reset a SNI machine. This routine reboots the machine by asking the keyboard controller to pulse the reset-line low. We try that for a while, and if it doesn't work, we do some other stupid things.  */
static void kb_wait(void)
/* Reset a SNI machine. This routine reboots the machine by asking the keyboard controller to pulse the reset-line low. We try that for a while, and if it doesn't work, we do some other stupid things.  */
static void kb_wait(void)
{
	int i;
	for (i = 0; i < 0x10000; i++)
		if ((inb_p(0x64) & 0x02) == 0)
			break;
}