seek_rangehigh    421 drivers/media/radio/radio-tea5777.c 	if (tea->seek_rangehigh != rangehigh) {
seek_rangehigh    427 drivers/media/radio/radio-tea5777.c 		tea->seek_rangehigh = rangehigh;
seek_rangehigh     61 drivers/media/radio/radio-tea5777.h 	u32 seek_rangehigh;