SEND_SC2VLT0
write_csr(dd, SEND_SC2VLT0, 0);
write_csr(dd, SEND_SC2VLT0, SC2VL_VAL(
write_csr(dd, SEND_SC2VLT0, *val++);
*val++ = read_csr(dd, SEND_SC2VLT0);