223 static void kvmppc_mmu_pte_vflush_short(struct kvm_vcpu *vcpu, u64 guest_vp)  in kvmppc_mmu_pte_vflush_short()  argument
230 	list = &vcpu3s->hpte_hash_vpte[kvmppc_mmu_hash_vpte(guest_vp)];  in kvmppc_mmu_pte_vflush_short()
236 		if ((pte->pte.vpage & vp_mask) == guest_vp)  in kvmppc_mmu_pte_vflush_short()
244 static void kvmppc_mmu_pte_vflush_64k(struct kvm_vcpu *vcpu, u64 guest_vp)  in kvmppc_mmu_pte_vflush_64k()  argument
252 		kvmppc_mmu_hash_vpte_64k(guest_vp)];  in kvmppc_mmu_pte_vflush_64k()
258 		if ((pte->pte.vpage & vp_mask) == guest_vp)  in kvmppc_mmu_pte_vflush_64k()
266 static void kvmppc_mmu_pte_vflush_long(struct kvm_vcpu *vcpu, u64 guest_vp)  in kvmppc_mmu_pte_vflush_long()  argument
274 		kvmppc_mmu_hash_vpte_long(guest_vp)];  in kvmppc_mmu_pte_vflush_long()
280 		if ((pte->pte.vpage & vp_mask) == guest_vp)  in kvmppc_mmu_pte_vflush_long()
286 void kvmppc_mmu_pte_vflush(struct kvm_vcpu *vcpu, u64 guest_vp, u64 vp_mask)  in kvmppc_mmu_pte_vflush()  argument
288 	trace_kvm_book3s_mmu_flush("v", vcpu, guest_vp, vp_mask);  in kvmppc_mmu_pte_vflush()
289 	guest_vp &= vp_mask;  in kvmppc_mmu_pte_vflush()
293 		kvmppc_mmu_pte_vflush_short(vcpu, guest_vp);  in kvmppc_mmu_pte_vflush()
297 		kvmppc_mmu_pte_vflush_64k(vcpu, guest_vp);  in kvmppc_mmu_pte_vflush()
301 		kvmppc_mmu_pte_vflush_long(vcpu, guest_vp);  in kvmppc_mmu_pte_vflush()