DCC_CFG_PORT_CONFIG1 10136 drivers/infiniband/hw/hfi1/chip.c 	u64 c1 = read_csr(ppd->dd, DCC_CFG_PORT_CONFIG1);
DCC_CFG_PORT_CONFIG1 10150 drivers/infiniband/hw/hfi1/chip.c 	write_csr(ppd->dd, DCC_CFG_PORT_CONFIG1, c1);