/* ELCR registers (0x4d0, 0x4d1) control edge/level of IRQ  */
static void restore_ELCR(char *trigger)
/* ELCR registers (0x4d0, 0x4d1) control edge/level of IRQ  */
static void restore_ELCR(char *trigger)
{
	outb(trigger[0], 0x4d0);
	outb(trigger[1], 0x4d1);
}