ivtv_service2vbi 12 drivers/media/pci/ivtv/ivtv-ioctl.h u16 ivtv_service2vbi(int type); ivtv_service2vbi 205 drivers/media/pci/ivtv/ivtv-vbi.c ivtv_service2vbi(itv->vbi.sliced_data[i].id);