161 static void kvmppc_mmu_pte_flush_page(struct kvm_vcpu *vcpu, ulong guest_ea)  in kvmppc_mmu_pte_flush_page()  argument
168 	list = &vcpu3s->hpte_hash_pte[kvmppc_mmu_hash_pte(guest_ea)];  in kvmppc_mmu_pte_flush_page()
174 		if ((pte->pte.eaddr & ~0xfffUL) == guest_ea)  in kvmppc_mmu_pte_flush_page()
180 static void kvmppc_mmu_pte_flush_long(struct kvm_vcpu *vcpu, ulong guest_ea)  in kvmppc_mmu_pte_flush_long()  argument
188 			kvmppc_mmu_hash_pte_long(guest_ea)];  in kvmppc_mmu_pte_flush_long()
194 		if ((pte->pte.eaddr & 0x0ffff000UL) == guest_ea)  in kvmppc_mmu_pte_flush_long()
200 void kvmppc_mmu_pte_flush(struct kvm_vcpu *vcpu, ulong guest_ea, ulong ea_mask)  in kvmppc_mmu_pte_flush()  argument
202 	trace_kvm_book3s_mmu_flush("", vcpu, guest_ea, ea_mask);  in kvmppc_mmu_pte_flush()
203 	guest_ea &= ea_mask;  in kvmppc_mmu_pte_flush()
207 		kvmppc_mmu_pte_flush_page(vcpu, guest_ea);  in kvmppc_mmu_pte_flush()
210 		kvmppc_mmu_pte_flush_long(vcpu, guest_ea);  in kvmppc_mmu_pte_flush()