is_dvbt          2199 drivers/media/dvb-frontends/drxk_hard.c 		if (is_dvbt(state))
is_dvbt          6420 drivers/media/dvb-frontends/drxk_hard.c 	if (is_dvbt(state)) {