Searched refs:csr_read (Results 1 – 4 of 4) sorted by relevance
186 csrs->vsstatus = csr_read(vsstatus); in vmmops_vcpu_save_csrs()187 csrs->vsie = csr_read(vsie); in vmmops_vcpu_save_csrs()188 csrs->vstvec = csr_read(vstvec); in vmmops_vcpu_save_csrs()189 csrs->vsscratch = csr_read(vsscratch); in vmmops_vcpu_save_csrs()190 csrs->vsepc = csr_read(vsepc); in vmmops_vcpu_save_csrs()191 csrs->vscause = csr_read(vscause); in vmmops_vcpu_save_csrs()192 csrs->vstval = csr_read(vstval); in vmmops_vcpu_save_csrs()193 csrs->hvip = csr_read(hvip); in vmmops_vcpu_save_csrs()194 csrs->vsatp = csr_read(vsatp); in vmmops_vcpu_save_csrs()674 __func__, csr_read(vsatp), hypctx->guest_regs.hyp_sstatus, in vmmops_run()[all …]
312 KASSERT((csr_read(sstatus) & (SSTATUS_SPP | SSTATUS_SIE)) == in do_trap_supervisor()315 KASSERT((csr_read(sstatus) & (SSTATUS_SUM)) == 0, in do_trap_supervisor()393 KASSERT((csr_read(sstatus) & (SSTATUS_SPP | SSTATUS_SIE)) == 0, in do_trap_user()396 KASSERT((csr_read(sstatus) & (SSTATUS_SUM)) == 0, in do_trap_user()
261 #define csr_read(csr) \ macro283 #define csr_read64(csr) ((uint64_t)csr_read(csr))
44 *tc = csr_read(time); in __vdso_gettc()