tv_channel       1735 dev/pci/bktr/bktr_core.c 		temp = tv_channel( bktr, (int)*(unsigned int *)arg );
tv_channel        518 dev/pci/bktr/bktr_os.c 			ri->chan = tv_channel(sc, chan);
tv_channel         89 dev/pci/bktr/bktr_tuner.h int	tv_channel( bktr_ptr_t bktr, int channel );