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