drivers/infiniband/hw/hfi1/chip.c

7334

(dd->dc8051_ver < dc8051_ver(0, 19, 0))) {

drivers/infiniband/hw/hfi1/chip.c

7514

if (dd->dc8051_ver < dc8051_ver(0, 20, 0)) {

drivers/infiniband/hw/hfi1/chip.c

8671

(dd->dc8051_ver < dc8051_ver(0, 20, 0))) {

drivers/infiniband/hw/hfi1/chip.c

9360

if (dd->dc8051_ver < dc8051_ver(0, 20, 0)) {

drivers/infiniband/hw/hfi1/chip.c

9416

if (dd->dc8051_ver >= dc8051_ver(1, 25, 0))

drivers/infiniband/hw/hfi1/firmware.c

1016

dd->dc8051_ver = dc8051_ver(ver_major, ver_minor, ver_patch);

drivers/infiniband/hw/hfi1/hfi.h

1210

u32 dc8051_ver; /* 8051 firmware version */

drivers/infiniband/hw/hfi1/verbs.c

1291

u32 ver = dd->dc8051_ver;

drivers/infiniband/hw/hfi1/verbs.c

1581

u32 ver = dd_from_dev(dev)->dc8051_ver;