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);