void ppc_hash64_unmap_hptes(PowerPCCPU *cpu, const ppc_hash_pte64_t *hptes,

                            hwaddr ptex, int n)

{

    if (cpu->env.external_htab == MMU_HASH64_KVM_MANAGED_HPT) {

        g_free((void *)hptes);

    } else if (!cpu->env.external_htab) {

        address_space_unmap(CPU(cpu)->as, (void *)hptes, n * HASH_PTE_SIZE_64,

                            false, n * HASH_PTE_SIZE_64);

    }

}

void ppc_hash64_unmap_hptes(PowerPCCPU *cpu, const ppc_hash_pte64_t *hptes,

                            hwaddr ptex, int n)

{

    if (cpu->env.external_htab == MMU_HASH64_KVM_MANAGED_HPT) {

        g_free((void *)hptes);

    } else if (!cpu->env.external_htab) {

        address_space_unmap(CPU(cpu)->as, (void *)hptes, n * HASH_PTE_SIZE_64,

                            false, n * HASH_PTE_SIZE_64);

    }

}

void FUNC_0(PowerPCCPU *VAR_0, const ppc_hash_pte64_t *VAR_1,

                            hwaddr VAR_2, int VAR_3)

{

    if (VAR_0->env.external_htab == MMU_HASH64_KVM_MANAGED_HPT) {

        g_free((void *)VAR_1);

    } else if (!VAR_0->env.external_htab) {

        address_space_unmap(CPU(VAR_0)->as, (void *)VAR_1, VAR_3 * HASH_PTE_SIZE_64,

                            false, VAR_3 * HASH_PTE_SIZE_64);

    }

}

void FUNC_0(PowerPCCPU *VAR_0, const ppc_hash_pte64_t *VAR_1,
hwaddr VAR_2, int VAR_3)
{ if (VAR_0->env.external_htab == MMU_HASH64_KVM_MANAGED_HPT) { g_free((void *)VAR_1); } else if (!VAR_0->env.external_htab) { address_space_unmap(CPU(VAR_0)->as, (void *)VAR_1, VAR_3 * HASH_PTE_SIZE_64,
false, VAR_3 * HASH_PTE_SIZE_64); } }