DC_DC8051_CFG_EXT_DEV_0 6347 drivers/infiniband/hw/hfi1/chip.c 	write_csr(dd, DC_DC8051_CFG_EXT_DEV_0,
DC_DC8051_CFG_EXT_DEV_0 6369 drivers/infiniband/hw/hfi1/chip.c 	write_csr(dd, DC_DC8051_CFG_EXT_DEV_0, 0);
DC_DC8051_CFG_EXT_DEV_0 8730 drivers/infiniband/hw/hfi1/chip.c 		reg = read_csr(dd, DC_DC8051_CFG_EXT_DEV_0);
DC_DC8051_CFG_EXT_DEV_0 8736 drivers/infiniband/hw/hfi1/chip.c 		write_csr(dd, DC_DC8051_CFG_EXT_DEV_0, reg);