HFCPCI_INT_S1     248 drivers/isdn/hardware/mISDN/hfcpci.c 	val = Read_hfc(hc, HFCPCI_INT_S1);
HFCPCI_INT_S1     971 drivers/isdn/hardware/mISDN/hfcpci.c 			(void) Read_hfc(hc, HFCPCI_INT_S1);
HFCPCI_INT_S1    1155 drivers/isdn/hardware/mISDN/hfcpci.c 		val = Read_hfc(hc, HFCPCI_INT_S1);