Searched refs:kvm_get_vttbr (Results 1 – 2 of 2) sorted by relevance
283 static __always_inline u64 kvm_get_vttbr(struct kvm_s2_mmu *mmu) in kvm_get_vttbr() function303 write_sysreg(kvm_get_vttbr(mmu), vttbr_el2); in __load_stage2()
297 params->vttbr = kvm_get_vttbr(mmu); in __pkvm_prot_finalize()