dc8051_ver_patch 1338 drivers/infiniband/hw/hfi1/verbs.c 		(u64)dc8051_ver_patch(ver);
dc8051_ver_patch 1627 drivers/infiniband/hw/hfi1/verbs.c 		 dc8051_ver_min(ver), dc8051_ver_patch(ver));