CSR_VXSAT_MASK
csr_write(CSR_VXSAT, src->vcsr & CSR_VXSAT_MASK);
reserved = ~(CSR_VXSAT_MASK | (CSR_VXRM_MASK << CSR_VXRM_SHIFT));