dc8051_ver_min   1337 drivers/infiniband/hw/hfi1/verbs.c 		((u64)(dc8051_ver_min(ver)) << 16) |
dc8051_ver_min   1627 drivers/infiniband/hw/hfi1/verbs.c 		 dc8051_ver_min(ver), dc8051_ver_patch(ver));