Searched refs:kvm_get_vttbr (Results 1 – 5 of 5) sorted by relevance
33 write_sysreg(kvm_get_vttbr(kvm), VTTBR); in __kvm_tlb_flush_vmid()53 write_sysreg(kvm_get_vttbr(kvm), VTTBR); in __kvm_tlb_flush_local_vmid()
69 write_sysreg(kvm_get_vttbr(kvm), VTTBR); in __activate_vm()
91 write_sysreg(kvm_get_vttbr(kvm), vttbr_el2); in __load_guest_stage2()
595 static __always_inline u64 kvm_get_vttbr(struct kvm *kvm)
423 static __always_inline u64 kvm_get_vttbr(struct kvm *kvm) in kvm_get_vttbr() function
