DTV_FREQUENCY    1085 drivers/media/dvb-core/dvb_frontend.c 	_DTV_CMD(DTV_FREQUENCY, 1, 0),
DTV_FREQUENCY    1354 drivers/media/dvb-core/dvb_frontend.c 	case DTV_FREQUENCY:
DTV_FREQUENCY    1841 drivers/media/dvb-core/dvb_frontend.c 	case DTV_FREQUENCY: