DRX_CHANNEL_HIGH 2248 drivers/media/dvb-frontends/drxd_hard.c switch (DRX_CHANNEL_HIGH) { DRX_CHANNEL_HIGH 2255 drivers/media/dvb-frontends/drxd_hard.c case DRX_CHANNEL_HIGH: