Symbol: tv_channel
sys/dev/pci/bktr/bktr_core.c
1968
temp = tv_channel(bktr, (int)*(unsigned int *)arg);
sys/dev/pci/bktr/bktr_tuner.h
90
int tv_channel(bktr_ptr_t bktr, int channel);