cx231xx_videodbg  973 drivers/media/usb/cx231xx/cx231xx-video.c 		cx231xx_videodbg("Fourcc format (%08x) invalid.\n",
cx231xx_videodbg 1756 drivers/media/usb/cx231xx/cx231xx-video.c 	cx231xx_videodbg("open dev=%s type=%s users=%d\n",
cx231xx_videodbg 1805 drivers/media/usb/cx231xx/cx231xx-video.c 		cx231xx_videodbg("video_open: setting radio device\n");
cx231xx_videodbg 1877 drivers/media/usb/cx231xx/cx231xx-video.c 	cx231xx_videodbg("users=%d\n", dev->users);
cx231xx_videodbg 1879 drivers/media/usb/cx231xx/cx231xx-video.c 	cx231xx_videodbg("users=%d\n", dev->users);
cx231xx_videodbg 2062 drivers/media/usb/cx231xx/cx231xx-video.c 	cx231xx_videodbg("vma start=0x%08lx, size=%ld, ret=%d\n",