CSR_VCSR
dest->vcsr = csr_read(CSR_VCSR);
csr_write(CSR_VCSR, src->vcsr);
if ((csr >= CSR_VSTART && csr <= CSR_VCSR) ||