IVTV_DEFAULT_ENC_VBI_BUFFERS  127 drivers/media/pci/ivtv/ivtv-driver.c static int enc_vbi_buffers = IVTV_DEFAULT_ENC_VBI_BUFFERS;
IVTV_DEFAULT_ENC_VBI_BUFFERS  253 drivers/media/pci/ivtv/ivtv-driver.c 		 "\t\t\tDefault: " __stringify(IVTV_DEFAULT_ENC_VBI_BUFFERS));