inf_cnt            36 drivers/isdn/hardware/mISDN/mISDNinfineon.c static int inf_cnt;
inf_cnt           885 drivers/isdn/hardware/mISDN/mISDNinfineon.c 	inf_cnt--;
inf_cnt           895 drivers/isdn/hardware/mISDN/mISDNinfineon.c 		 inf_cnt + 1);
inf_cnt           926 drivers/isdn/hardware/mISDN/mISDNinfineon.c 		inf_cnt++;
inf_cnt           927 drivers/isdn/hardware/mISDN/mISDNinfineon.c 		pr_notice("Infineon %d cards installed\n", inf_cnt);