VERSION_PATCH 8951 drivers/infiniband/hw/hfi1/chip.c read_8051_config(dd, VERSION_PATCH, GENERAL_CONFIG, &frame); VERSION_PATCH 11513 drivers/media/dvb-frontends/drx39xyj/drxj.c driver_version += (VERSION_PATCH / 1000) % 10; VERSION_PATCH 11515 drivers/media/dvb-frontends/drx39xyj/drxj.c driver_version += (VERSION_PATCH / 100) % 10; VERSION_PATCH 11517 drivers/media/dvb-frontends/drx39xyj/drxj.c driver_version += (VERSION_PATCH / 10) % 10; VERSION_PATCH 11519 drivers/media/dvb-frontends/drx39xyj/drxj.c driver_version += (VERSION_PATCH % 10); VERSION_PATCH 2727 drivers/media/dvb-frontends/drxd_hard.c driverVersion += ((VERSION_PATCH / 1000) << 12) + VERSION_PATCH 2728 drivers/media/dvb-frontends/drxd_hard.c ((VERSION_PATCH / 100) << 8) + VERSION_PATCH 2729 drivers/media/dvb-frontends/drxd_hard.c ((VERSION_PATCH / 10) << 4) + (VERSION_PATCH % 10);