DRXK_VERSION_PATCH 6181 drivers/media/dvb-frontends/drxk_hard.c 			(((DRXK_VERSION_PATCH / 1000) % 10) << 12) +
DRXK_VERSION_PATCH 6182 drivers/media/dvb-frontends/drxk_hard.c 			(((DRXK_VERSION_PATCH / 100) % 10) << 8) +
DRXK_VERSION_PATCH 6183 drivers/media/dvb-frontends/drxk_hard.c 			(((DRXK_VERSION_PATCH / 10) % 10) << 4) +
DRXK_VERSION_PATCH 6184 drivers/media/dvb-frontends/drxk_hard.c 			(DRXK_VERSION_PATCH % 10);
DRXK_VERSION_PATCH 6192 drivers/media/dvb-frontends/drxk_hard.c 			DRXK_VERSION_PATCH);