61 void kvmppc_mmu_invalidate_pte(struct kvm_vcpu *vcpu, struct hpte_cache *pte)  in kvmppc_mmu_invalidate_pte()  argument
66 	pteg = (u32*)pte->slot;  in kvmppc_mmu_invalidate_pte()
71 	asm volatile ("tlbie %0" : : "r" (pte->pte.eaddr) : "memory");  in kvmppc_mmu_invalidate_pte()
155 	struct hpte_cache *pte;  in kvmppc_mmu_map_page()  local
245 	pte = kvmppc_mmu_hpte_cache_next(vcpu);  in kvmppc_mmu_map_page()
246 	if (!pte) {  in kvmppc_mmu_map_page()
258 	pte->slot = (ulong)&pteg[rr];  in kvmppc_mmu_map_page()
259 	pte->host_vpn = vpn;  in kvmppc_mmu_map_page()
260 	pte->pte = *orig_pte;  in kvmppc_mmu_map_page()
261 	pte->pfn = hpaddr >> PAGE_SHIFT;  in kvmppc_mmu_map_page()
263 	kvmppc_mmu_hpte_cache_map(vcpu, pte);  in kvmppc_mmu_map_page()
270 void kvmppc_mmu_unmap_page(struct kvm_vcpu *vcpu, struct kvmppc_pte *pte)  in kvmppc_mmu_unmap_page()  argument
272 	kvmppc_mmu_pte_vflush(vcpu, pte->vpage, 0xfffffffffULL);  in kvmppc_mmu_unmap_page()