Symbol: DC_DC8051_CFG_EXT_DEV_1
drivers/infiniband/hw/hfi1/chip.c
6334
reg = read_csr(dd, DC_DC8051_CFG_EXT_DEV_1);
drivers/infiniband/hw/hfi1/chip.c
8805
*out_data |= (read_csr(dd, DC_DC8051_CFG_EXT_DEV_1)