IVTVFB_INFO      1119 drivers/media/pci/ivtv/ivtvfb.c 	IVTVFB_INFO("Framebuffer at 0x%lx, mapped to 0x%p, size %dk\n",
IVTVFB_INFO      1239 drivers/media/pci/ivtv/ivtvfb.c 			IVTVFB_INFO("Framebuffer registered on %s\n",
IVTVFB_INFO      1260 drivers/media/pci/ivtv/ivtvfb.c 		IVTVFB_INFO("Unregister framebuffer %d\n", itv->instance);