open_ctr         1435 drivers/media/usb/dvb-usb/cxusb.c 		    cxdev->open_ctr != 0)) {
open_ctr         1445 drivers/media/usb/dvb-usb/cxusb.c 	if (cxdev->open_ctr == 0) {
open_ctr         1484 drivers/media/usb/dvb-usb/cxusb.c 		cxdev->open_ctr = 1;
open_ctr         1486 drivers/media/usb/dvb-usb/cxusb.c 		cxdev->open_ctr++;
open_ctr         1506 drivers/media/usb/dvb-usb/cxusb.c 		WARN_ON(cxdev->open_ctr != 0);
open_ctr         1511 drivers/media/usb/dvb-usb/cxusb.c 	if (!WARN_ON(cxdev->open_ctr < 1)) {
open_ctr         1512 drivers/media/usb/dvb-usb/cxusb.c 		cxdev->open_ctr--;
open_ctr          120 drivers/media/usb/dvb-usb/cxusb.h 	unsigned int open_ctr;