dc8051_ver       7355 drivers/infiniband/hw/hfi1/chip.c 	    (dd->dc8051_ver < dc8051_ver(0, 19, 0))) {
dc8051_ver       7534 drivers/infiniband/hw/hfi1/chip.c 	if (dd->dc8051_ver < dc8051_ver(0, 20, 0)) {
dc8051_ver       8631 drivers/infiniband/hw/hfi1/chip.c 	    (dd->dc8051_ver < dc8051_ver(0, 20, 0))) {
dc8051_ver       9320 drivers/infiniband/hw/hfi1/chip.c 	if (dd->dc8051_ver < dc8051_ver(0, 20, 0)) {
dc8051_ver       9376 drivers/infiniband/hw/hfi1/chip.c 	if (dd->dc8051_ver >= dc8051_ver(1, 25, 0))
dc8051_ver       1059 drivers/infiniband/hw/hfi1/firmware.c 	dd->dc8051_ver = dc8051_ver(ver_major, ver_minor, ver_patch);
dc8051_ver       1264 drivers/infiniband/hw/hfi1/hfi.h 	u32 dc8051_ver; /* 8051 firmware version */
dc8051_ver       1332 drivers/infiniband/hw/hfi1/verbs.c 	u32 ver = dd->dc8051_ver;
dc8051_ver       1624 drivers/infiniband/hw/hfi1/verbs.c 	u32 ver = dd_from_dev(dev)->dc8051_ver;