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