60 void kvmppc_mmu_invalidate_pte(struct kvm_vcpu *vcpu, struct hpte_cache *pte)  in kvmppc_mmu_invalidate_pte()  argument
65 	pteg = (u32*)pte->slot;  in kvmppc_mmu_invalidate_pte()
70 	asm volatile ("tlbie %0" : : "r" (pte->pte.eaddr) : "memory");  in kvmppc_mmu_invalidate_pte()
154 	struct hpte_cache *pte;  in kvmppc_mmu_map_page()  local
244 	pte = kvmppc_mmu_hpte_cache_next(vcpu);  in kvmppc_mmu_map_page()
245 	if (!pte) {  in kvmppc_mmu_map_page()
257 	pte->slot = (ulong)&pteg[rr];  in kvmppc_mmu_map_page()
258 	pte->host_vpn = vpn;  in kvmppc_mmu_map_page()
259 	pte->pte = *orig_pte;  in kvmppc_mmu_map_page()
260 	pte->pfn = hpaddr >> PAGE_SHIFT;  in kvmppc_mmu_map_page()
262 	kvmppc_mmu_hpte_cache_map(vcpu, pte);  in kvmppc_mmu_map_page()
269 void kvmppc_mmu_unmap_page(struct kvm_vcpu *vcpu, struct kvmppc_pte *pte)  in kvmppc_mmu_unmap_page()  argument
271 	kvmppc_mmu_pte_vflush(vcpu, pte->vpage, 0xfffffffffULL);  in kvmppc_mmu_unmap_page()