osci              192 drivers/media/pci/bt8xx/dvb-bt8xx.c 	u32 osci[]={950000,1019000,1075000,1178000,1296000,1432000,
osci              209 drivers/media/pci/bt8xx/dvb-bt8xx.c 	for(i = 1; (i < ARRAY_SIZE(osci) - 1) && (osci[i] < freq); i++);
osci              219 drivers/media/pci/bt8xx/dvb-bt8xx.c 	pump=(freq<(osci[i-1]+osci[i])/2);