void ppc_hash64_stop_access(uint64_t token)

{

    if (kvmppc_kern_htab) {

        kvmppc_hash64_free_pteg(token);

    }

}

void ppc_hash64_stop_access(uint64_t token)

{

    if (kvmppc_kern_htab) {

        kvmppc_hash64_free_pteg(token);

    }

}

void FUNC_0(uint64_t VAR_0)

{

    if (kvmppc_kern_htab) {

        kvmppc_hash64_free_pteg(VAR_0);

    }

}

void FUNC_0(uint64_t VAR_0)
{ if (kvmppc_kern_htab) { kvmppc_hash64_free_pteg(VAR_0); } }