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
312 uint64_t vttbr_el2; /* Virtualization Translation Table Base. */311 uint64_t vttbr_el2; /* Virtualization Translation Table Base. */ global() member
216 return env->cp15.vttbr_el2; in regime_ttbr()
6592 .fieldoffset = offsetof(CPUARMState, cp15.vttbr_el2),6598 .fieldoffset = offsetof(CPUARMState, cp15.vttbr_el2) }, in sel2_access()