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)) {