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);