DC_DC8051_CFG_EXT_DEV_1 6364 drivers/infiniband/hw/hfi1/chip.c 	reg = read_csr(dd, DC_DC8051_CFG_EXT_DEV_1);
DC_DC8051_CFG_EXT_DEV_1 8774 drivers/infiniband/hw/hfi1/chip.c 			*out_data |= (read_csr(dd, DC_DC8051_CFG_EXT_DEV_1)