DCC_CFG_SC_VL_TABLE_31_16
reg = read_csr(dd, DCC_CFG_SC_VL_TABLE_31_16);
write_csr(dd, DCC_CFG_SC_VL_TABLE_31_16,
write_csr(dd, DCC_CFG_SC_VL_TABLE_31_16, DC_SC_VL_VAL(