Symbol: dc8051_ver_patch
drivers/infiniband/hw/hfi1/verbs.c
1297
(u64)dc8051_ver_patch(ver);
drivers/infiniband/hw/hfi1/verbs.c
1584
dc8051_ver_min(ver), dc8051_ver_patch(ver));