Searched refs:kvm_get_vttbr (Results 1 – 1 of 1) sorted by relevance
303 static __always_inline u64 kvm_get_vttbr(struct kvm_s2_mmu *mmu) in kvm_get_vttbr() 323 write_sysreg(kvm_get_vttbr(mmu), vttbr_el2); in __load_stage2() 301 static __always_inline u64 kvm_get_vttbr(struct kvm_s2_mmu *mmu) kvm_get_vttbr() function