ph_state_te      1044 drivers/isdn/hardware/mISDN/hfcpci.c 		ph_state_te(dch);
ph_state_te       674 drivers/isdn/hardware/mISDN/hfcsusb.c 		ph_state_te(dch);