ph_state_nt      1042 drivers/isdn/hardware/mISDN/hfcpci.c 			ph_state_nt(dch);
ph_state_nt       672 drivers/isdn/hardware/mISDN/hfcsusb.c 		ph_state_nt(dch);