ctl_lock_held     199 drivers/media/usb/pvrusb2/pvrusb2-hdw-internal.h 	int ctl_lock_held;  /* For debugging */
ctl_lock_held    3585 drivers/media/usb/pvrusb2/pvrusb2-hdw.c 	if (!hdw->ctl_lock_held) {
ctl_lock_held     274 drivers/media/usb/pvrusb2/pvrusb2-hdw.h 	int ctl_lock_held;