DC_DC8051_CFG_RST 6544 drivers/infiniband/hw/hfi1/chip.c 	write_csr(dd, DC_DC8051_CFG_RST, 0x1);
DC_DC8051_CFG_RST 6568 drivers/infiniband/hw/hfi1/chip.c 	write_csr(dd, DC_DC8051_CFG_RST, 0ull);
DC_DC8051_CFG_RST 1001 drivers/infiniband/hw/hfi1/firmware.c 	write_csr(dd, DC_DC8051_CFG_RST, reg);
DC_DC8051_CFG_RST 1013 drivers/infiniband/hw/hfi1/firmware.c 	write_csr(dd, DC_DC8051_CFG_RST, reg);
DC_DC8051_CFG_RST 1043 drivers/infiniband/hw/hfi1/firmware.c 	write_csr(dd, DC_DC8051_CFG_RST, 0ull);