Searched refs:vsatp (Results 1 – 4 of 4) sorted by relevance
176 csr_write(vsatp, csrs->vsatp); in vmmops_vcpu_restore_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()
65 uint64_t vsatp; member
217 def : SysReg<"vsatp", 0x280>;
896 "'Svsatpa' (vsatp supports all modes supported by satp)">;