212 static void kvmppc_mmu_pte_vflush_short(struct kvm_vcpu *vcpu, u64 guest_vp)  in kvmppc_mmu_pte_vflush_short()  argument
219 	list = &vcpu3s->hpte_hash_vpte[kvmppc_mmu_hash_vpte(guest_vp)];  in kvmppc_mmu_pte_vflush_short()
225 		if ((pte->pte.vpage & vp_mask) == guest_vp)  in kvmppc_mmu_pte_vflush_short()
233 static void kvmppc_mmu_pte_vflush_64k(struct kvm_vcpu *vcpu, u64 guest_vp)  in kvmppc_mmu_pte_vflush_64k()  argument
241 		kvmppc_mmu_hash_vpte_64k(guest_vp)];  in kvmppc_mmu_pte_vflush_64k()
247 		if ((pte->pte.vpage & vp_mask) == guest_vp)  in kvmppc_mmu_pte_vflush_64k()
255 static void kvmppc_mmu_pte_vflush_long(struct kvm_vcpu *vcpu, u64 guest_vp)  in kvmppc_mmu_pte_vflush_long()  argument
263 		kvmppc_mmu_hash_vpte_long(guest_vp)];  in kvmppc_mmu_pte_vflush_long()
269 		if ((pte->pte.vpage & vp_mask) == guest_vp)  in kvmppc_mmu_pte_vflush_long()
275 void kvmppc_mmu_pte_vflush(struct kvm_vcpu *vcpu, u64 guest_vp, u64 vp_mask)  in kvmppc_mmu_pte_vflush()  argument
277 	trace_kvm_book3s_mmu_flush("v", vcpu, guest_vp, vp_mask);  in kvmppc_mmu_pte_vflush()
278 	guest_vp &= vp_mask;  in kvmppc_mmu_pte_vflush()
282 		kvmppc_mmu_pte_vflush_short(vcpu, guest_vp);  in kvmppc_mmu_pte_vflush()
286 		kvmppc_mmu_pte_vflush_64k(vcpu, guest_vp);  in kvmppc_mmu_pte_vflush()
290 		kvmppc_mmu_pte_vflush_long(vcpu, guest_vp);  in kvmppc_mmu_pte_vflush()