csr_write
csr_write(satp, pmap->pm_satp);
csr_write(satp, kernel_pmap->pm_satp);
csr_write(stimecmp, -1UL);
csr_write(stimecmp, timecmp);
csr_write(hedeleg, hedeleg);
csr_write(hideleg, hideleg);
csr_write(vsstatus, csrs->vsstatus);
csr_write(vsie, csrs->vsie);
csr_write(vstvec, csrs->vstvec);
csr_write(vsscratch, csrs->vsscratch);
csr_write(vsepc, csrs->vsepc);
csr_write(vscause, csrs->vscause);
csr_write(vstval, csrs->vstval);
csr_write(hvip, csrs->hvip);
csr_write(vsatp, csrs->vsatp);
csr_write(hstatus, old_hstatus);
csr_write(stvec, old_stvec);
csr_write(hvip, hypctx->guest_csrs.hvip);
csr_write(hgatp, pmap->pm_satp);
csr_write(henvcfg, HENVCFG_STCE);
csr_write(hie, HIE_VSEIE | HIE_VSSIE | HIE_SGEIE);
csr_write(hcounteren, HCOUNTEREN_CY | HCOUNTEREN_TM);