Searched refs:vstvec (Results 1 – 4 of 4) sorted by relevance
172 csr_write(vstvec, csrs->vstvec); in vmmops_vcpu_restore_csrs()190 csrs->vstvec = csr_read(vstvec); in vmmops_vcpu_save_csrs()
58 uint64_t vstvec; member
208 def : SysReg<"vstvec", 0x205>;
972 "'Shvstvecd' (vstvec supports Direct mode)">;