I8042_KBD_IRQ
if (irq == I8042_KBD_IRQ)
outb((0xff & ~(1 << I8042_KBD_IRQ)), PIC_MASTER_IMR);
port->irq = I8042_KBD_IRQ;
free_irq(I8042_KBD_IRQ, i8042_platform_device);
error = request_irq(I8042_KBD_IRQ, i8042_interrupt, IRQF_SHARED,
free_irq(I8042_KBD_IRQ, i8042_platform_device);
synchronize_irq(I8042_KBD_IRQ);