Searched refs:vttbr_el2 (Results 1 – 8 of 8) sorted by relevance
91 write_sysreg(0, vttbr_el2); in __load_host_stage2()
69 write_sysreg(0, vttbr_el2); in __tlb_switch_to_host()
303 write_sysreg(kvm_get_vttbr(mmu), vttbr_el2); in __load_stage2()
113 msr vttbr_el2, xzr
113 msr vttbr_el2, x1
311 uint64_t vttbr_el2; /* Virtualization Translation Table Base. */ member
216 return env->cp15.vttbr_el2; in regime_ttbr()
6434 .fieldoffset = offsetof(CPUARMState, cp15.vttbr_el2),6440 .fieldoffset = offsetof(CPUARMState, cp15.vttbr_el2) },