CSR_VXSAT
dest->vcsr = csr_read(CSR_VXSAT) | csr_read(CSR_VXRM) << CSR_VXRM_SHIFT;
csr_write(CSR_VXSAT, src->vcsr & CSR_VXSAT_MASK);