drx_ctrl 2243 drivers/media/dvb-frontends/drx39xyj/drx_driver.h drx_ctrl(demod, DRX_CTRL_SET_CFG, &config); \ drx_ctrl 2253 drivers/media/dvb-frontends/drx39xyj/drx_driver.h cfg_status = drx_ctrl(demod, DRX_CTRL_GET_CFG, &config); \