512                                              hwaddr ptex, int n)  in ppc_hash64_map_hptes()  argument
514     hwaddr pte_offset = ptex * HASH_PTE_SIZE_64;  in ppc_hash64_map_hptes()
520         return cpu->vhyp_class->map_hptes(cpu->vhyp, ptex, n);  in ppc_hash64_map_hptes()
537                             hwaddr ptex, int n)  in ppc_hash64_unmap_hptes()  argument
540         cpu->vhyp_class->unmap_hptes(cpu->vhyp, hptes, ptex, n);  in ppc_hash64_unmap_hptes()
605     target_ulong ptex;  in ppc_hash64_pteg_search()  local
607     ptex = (hash & ppc_hash64_hpt_mask(cpu)) * HPTES_PER_GROUP;  in ppc_hash64_pteg_search()
608     pteg = ppc_hash64_map_hptes(cpu, ptex, HPTES_PER_GROUP);  in ppc_hash64_pteg_search()
646             ppc_hash64_unmap_hptes(cpu, pteg, ptex, HPTES_PER_GROUP);  in ppc_hash64_pteg_search()
647             return ptex + i;  in ppc_hash64_pteg_search()
650     ppc_hash64_unmap_hptes(cpu, pteg, ptex, HPTES_PER_GROUP);  in ppc_hash64_pteg_search()
662     hwaddr hash, ptex;  in ppc_hash64_htab_lookup()  local
708     ptex = ppc_hash64_pteg_search(cpu, hash, sps, ptem, pte, pshift);  in ppc_hash64_htab_lookup()
710     if (ptex == -1) {  in ppc_hash64_htab_lookup()
719         ptex = ppc_hash64_pteg_search(cpu, ~hash, sps, ptem, pte, pshift);  in ppc_hash64_htab_lookup()
722     return ptex;  in ppc_hash64_htab_lookup()
815 static void ppc_hash64_set_r(PowerPCCPU *cpu, hwaddr ptex, uint64_t pte1)  in ppc_hash64_set_r()  argument
817     hwaddr base, offset = ptex * HASH_PTE_SIZE_64 + HPTE64_DW1_R;  in ppc_hash64_set_r()
820         cpu->vhyp_class->hpte_set_r(cpu->vhyp, ptex, pte1);  in ppc_hash64_set_r()
830 static void ppc_hash64_set_c(PowerPCCPU *cpu, hwaddr ptex, uint64_t pte1)  in ppc_hash64_set_c()  argument
832     hwaddr base, offset = ptex * HASH_PTE_SIZE_64 + HPTE64_DW1_C;  in ppc_hash64_set_c()
835         cpu->vhyp_class->hpte_set_c(cpu->vhyp, ptex, pte1);  in ppc_hash64_set_c()
941     hwaddr ptex;  in ppc_hash64_xlate()  local
1061     ptex = ppc_hash64_htab_lookup(cpu, slb, eaddr, &pte, &apshift);  in ppc_hash64_xlate()
1062     if (ptex == -1) {  in ppc_hash64_xlate()
1083                   "found PTE at index %08" HWADDR_PRIx "\n", ptex);  in ppc_hash64_xlate()
1131         ppc_hash64_set_r(cpu, ptex, pte.pte1);  in ppc_hash64_xlate()
1135             ppc_hash64_set_c(cpu, ptex, pte.pte1);  in ppc_hash64_xlate()
1153 void ppc_hash64_tlb_flush_hpte(PowerPCCPU *cpu, target_ulong ptex,  in ppc_hash64_tlb_flush_hpte()  argument