IVTVFB_WARN       284 drivers/media/pci/ivtv/ivtvfb.c 		IVTVFB_WARN("ivtvfb_prep_dec_dma_to_device, Error with get_user_pages: %d bytes, %d pages returned\n",
IVTVFB_WARN       335 drivers/media/pci/ivtv/ivtvfb.c 		IVTVFB_WARN("ivtvfb_prep_frame: Overflowing the framebuffer %ld, only %d available\n",
IVTVFB_WARN       342 drivers/media/pci/ivtv/ivtvfb.c 		IVTVFB_WARN("ivtvfb_prep_frame: Source address not 32 bit aligned (%p)\n",
IVTVFB_WARN       346 drivers/media/pci/ivtv/ivtvfb.c 		IVTVFB_WARN("ivtvfb_prep_frame: Dest offset not 32 bit aligned (%ld)\n", dest_offset);
IVTVFB_WARN       349 drivers/media/pci/ivtv/ivtvfb.c 		IVTVFB_WARN("ivtvfb_prep_frame: Count not a multiple of 4 (%d)\n", count);
IVTVFB_WARN       353 drivers/media/pci/ivtv/ivtvfb.c 		IVTVFB_WARN("Invalid userspace pointer %p\n", source);