irq_proc_cnt     2808 drivers/isdn/hardware/mISDN/hfcmulti.c 			static int irq_proc_cnt;
irq_proc_cnt     2809 drivers/isdn/hardware/mISDN/hfcmulti.c 			if (!irq_proc_cnt++)