Symbol: DC_DC8051_CFG_EXT_DEV_0
drivers/infiniband/hw/hfi1/chip.c
6317
write_csr(dd, DC_DC8051_CFG_EXT_DEV_0,
drivers/infiniband/hw/hfi1/chip.c
6339
write_csr(dd, DC_DC8051_CFG_EXT_DEV_0, 0);
drivers/infiniband/hw/hfi1/chip.c
8761
reg = read_csr(dd, DC_DC8051_CFG_EXT_DEV_0);
drivers/infiniband/hw/hfi1/chip.c
8767
write_csr(dd, DC_DC8051_CFG_EXT_DEV_0, reg);