160 int kvm_init_stage2_mmu(struct kvm *kvm, struct kvm_s2_mmu *mmu);
161 void kvm_free_stage2_pgd(struct kvm_s2_mmu *mmu);
258 static __always_inline u64 kvm_get_vttbr(struct kvm_s2_mmu *mmu)  in kvm_get_vttbr()  argument
260 	struct kvm_vmid *vmid = &mmu->vmid;  in kvm_get_vttbr()
264 	baddr = mmu->pgd_phys;  in kvm_get_vttbr()
273 static __always_inline void __load_stage2(struct kvm_s2_mmu *mmu, unsigned long vtcr)  in __load_stage2()  argument
276 	write_sysreg(kvm_get_vttbr(mmu), vttbr_el2);  in __load_stage2()
286 static __always_inline void __load_guest_stage2(struct kvm_s2_mmu *mmu)  in __load_guest_stage2()  argument
288 	__load_stage2(mmu, kern_hyp_va(mmu->arch)->vtcr);  in __load_guest_stage2()
291 static inline struct kvm *kvm_s2_mmu_to_kvm(struct kvm_s2_mmu *mmu)  in kvm_s2_mmu_to_kvm()  argument
293 	return container_of(mmu->arch, struct kvm, arch);  in kvm_s2_mmu_to_kvm()