DC_DC8051_STS_CUR_STATE 8503 drivers/infiniband/hw/hfi1/chip.c 	reg = read_csr(dd, DC_DC8051_STS_CUR_STATE);
DC_DC8051_STS_CUR_STATE  949 drivers/infiniband/hw/hfi1/firmware.c 	u64 reg = read_csr(dd, DC_DC8051_STS_CUR_STATE);