1486                                                 hwaddr ptex, int n)  in spapr_map_hptes()  argument
1489     hwaddr pte_offset = ptex * HASH_PTE_SIZE_64;  in spapr_map_hptes()
1496         kvmppc_read_hptes(hptes, ptex, n);  in spapr_map_hptes()
1509                               hwaddr ptex, int n)  in spapr_unmap_hptes()  argument
1520 void spapr_store_hpte(PowerPCCPU *cpu, hwaddr ptex,  in spapr_store_hpte()  argument
1524     hwaddr offset = ptex * HASH_PTE_SIZE_64;  in spapr_store_hpte()
1527         kvmppc_write_hpte(ptex, pte0, pte1);  in spapr_store_hpte()
1551 static void spapr_hpte_set_c(PPCVirtualHypervisor *vhyp, hwaddr ptex,  in spapr_hpte_set_c()  argument
1554     hwaddr offset = ptex * HASH_PTE_SIZE_64 + HPTE64_DW1_C;  in spapr_hpte_set_c()
1567 static void spapr_hpte_set_r(PPCVirtualHypervisor *vhyp, hwaddr ptex,  in spapr_hpte_set_r()  argument
1570     hwaddr offset = ptex * HASH_PTE_SIZE_64 + HPTE64_DW1_R;  in spapr_hpte_set_r()