Symbol: DCC_CFG_PORT_CONFIG1
drivers/infiniband/hw/hfi1/chip.c
10167
u64 c1 = read_csr(ppd->dd, DCC_CFG_PORT_CONFIG1);
drivers/infiniband/hw/hfi1/chip.c
10181
write_csr(ppd->dd, DCC_CFG_PORT_CONFIG1, c1);