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