DRXK_VERSION_MAJOR 6172 drivers/media/dvb-frontends/drxk_hard.c 			(((DRXK_VERSION_MAJOR / 100) % 10) << 12) +
DRXK_VERSION_MAJOR 6173 drivers/media/dvb-frontends/drxk_hard.c 			(((DRXK_VERSION_MAJOR / 10) % 10) << 8) +
DRXK_VERSION_MAJOR 6174 drivers/media/dvb-frontends/drxk_hard.c 			((DRXK_VERSION_MAJOR % 10) << 4) +
DRXK_VERSION_MAJOR 6191 drivers/media/dvb-frontends/drxk_hard.c 			DRXK_VERSION_MAJOR, DRXK_VERSION_MINOR,