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