plx_count        1116 drivers/isdn/hardware/mISDN/hfcmulti.c 	int			plx_count;
plx_count        1217 drivers/isdn/hardware/mISDN/hfcmulti.c 		plx_count = 0;
plx_count        1221 drivers/isdn/hardware/mISDN/hfcmulti.c 				plx_count++;
plx_count        1226 drivers/isdn/hardware/mISDN/hfcmulti.c 		if (plx_count >= 3) {