/* Disables the keyboard so that key strokes no longer generate scancodes to the host. */
static int i8042_disable(void)
/* Disables the keyboard so that key strokes no longer generate scancodes to the host. */
static int i8042_disable(void)
{
	if (kbd_input_empty() == 0)
		return -1;
	out8(I8042_CMD_REG, CMD_KBD_DIS);
	if (kbd_input_empty() == 0)
		return -1;
	return 0;
}