R_RX0            3885 drivers/isdn/hardware/mISDN/hfcmulti.c 			HFC_outb(hc, R_RX0, 0);
R_RX0            3888 drivers/isdn/hardware/mISDN/hfcmulti.c 			HFC_outb(hc, R_RX0, 1);