reset_inf         580 drivers/isdn/hardware/mISDN/mISDNinfineon.c 		reset_inf(hw);
reset_inf         606 drivers/isdn/hardware/mISDN/mISDNinfineon.c 		reset_inf(hw);