7 void drain_keyboard(void)
9 /* Prevent "ghost typing" and keyboard buffer snooping */
14 rv
= read(0, (char *)&junk
, 1);
20 *(volatile uint8_t *)0x419 = 0; /* Alt-XXX keyboard area */
21 *(volatile uint16_t *)0x41a = 0x1e; /* Keyboard buffer empty */
22 *(volatile uint16_t *)0x41c = 0x1e;
23 memset((void *)0x41e, 0, 32); /* Clear the actual keyboard buffer */