WINCH_IRQ
um_free_irq(WINCH_IRQ, winch);
if (um_request_irq(WINCH_IRQ, fd, IRQ_READ, winch_interrupt,
do_IRQ(WINCH_IRQ, regs);