void ppc_hash64_stop_access(PowerPCCPU *cpu, uint64_t token)

{

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

        kvmppc_hash64_free_pteg(token);

    }

}

void ppc_hash64_stop_access(PowerPCCPU *cpu, uint64_t token)

{

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

        kvmppc_hash64_free_pteg(token);

    }

}

void FUNC_0(PowerPCCPU *VAR_0, uint64_t VAR_1)

{

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

        kvmppc_hash64_free_pteg(VAR_1);

    }

}

void FUNC_0(PowerPCCPU *VAR_0, uint64_t VAR_1)
{ if (VAR_0->env.external_htab == MMU_HASH64_KVM_MANAGED_HPT) { kvmppc_hash64_free_pteg(VAR_1); } }