csr_read
*tc = csr_read(time);
#define csr_read64(csr) ((uint64_t)csr_read(csr))
KASSERT((csr_read(sstatus) & (SSTATUS_SPP | SSTATUS_SIE)) ==
KASSERT((csr_read(sstatus) & (SSTATUS_SUM)) == 0,
KASSERT((csr_read(sstatus) & (SSTATUS_SPP | SSTATUS_SIE)) == 0,
KASSERT((csr_read(sstatus) & (SSTATUS_SUM)) == 0,
csrs->vsstatus = csr_read(vsstatus);
csrs->vsie = csr_read(vsie);
csrs->vstvec = csr_read(vstvec);
csrs->vsscratch = csr_read(vsscratch);
csrs->vsepc = csr_read(vsepc);
csrs->vscause = csr_read(vscause);
csrs->vstval = csr_read(vstval);
csrs->hvip = csr_read(hvip);
csrs->vsatp = csr_read(vsatp);
__func__, csr_read(vsatp), hypctx->guest_regs.hyp_sstatus,
hvip = csr_read(hvip);
vme->scause = csr_read(scause);
vme->sepc = csr_read(sepc);
vme->stval = csr_read(stval);
vme->htval = csr_read(htval);
vme->htinst = csr_read(htinst);