V_IRQ            3135 drivers/isdn/hardware/mISDN/hfcmulti.c 		HFC_outb(hc, A_IRQ_MSK, V_IRQ);
V_IRQ            3146 drivers/isdn/hardware/mISDN/hfcmulti.c 		HFC_outb(hc, A_IRQ_MSK, V_IRQ);