/* atkbd_cleanup() restores the keyboard state so that BIOS is happy after a reboot.  */
static void atkbd_cleanup(struct serio *serio)
/* atkbd_cleanup() restores the keyboard state so that BIOS is happy after a reboot.  */
static void atkbd_cleanup(struct serio *serio)
{
	struct atkbd *atkbd = serio_get_drvdata(serio);
	atkbd_disable(atkbd);
	ps2_command(&atkbd->ps2dev, NULL, ATKBD_CMD_RESET_DEF);
}