CSR_VSTVEC
nacl_csr_write(nsh, CSR_VSTVEC, csr->vstvec);
csr_write(CSR_VSTVEC, csr->vstvec);
csr->vstvec = nacl_csr_read(nsh, CSR_VSTVEC);
csr->vstvec = csr_read(CSR_VSTVEC);
vcpu->arch.guest_context.sepc = ncsr_read(CSR_VSTVEC);