Searched refs:get_vmid (Results 1 – 3 of 3) sorted by relevance
340 static inline u64 get_vmid(u64 vttbr) in get_vmid() function
651 if (vmid == get_vmid(mmu->tlb_vttbr)) in kvm_s2_mmu_iterate_by_vmid()701 get_vmid(vttbr) == get_vmid(mmu->tlb_vttbr)) in lookup_s2_mmu()
3944 kvm_s2_mmu_iterate_by_vmid(vcpu->kvm, get_vmid(vttbr), in handle_vmalls12e1is()3973 kvm_s2_mmu_iterate_by_vmid(vcpu->kvm, get_vmid(vttbr), in handle_ripas2e1is()4020 kvm_s2_mmu_iterate_by_vmid(vcpu->kvm, get_vmid(vttbr), in handle_ipas2e1is()4085 get_vmid(__vcpu_sys_reg(vcpu, VTTBR_EL2)), in handle_tlbi_el1()