vbi_read           96 dev/pci/bktr/bktr_core.h int	vbi_read( bktr_ptr_t bktr, struct uio *uio, int ioflag );
vbi_read          420 dev/pci/bktr/bktr_os.c 		return(vbi_read(bktr, uio, ioflag));