void kvmppc_hash64_free_pteg(uint64_t token)

{

    struct kvm_get_htab_buf *htab_buf;



    htab_buf = container_of((void *)(uintptr_t) token, struct kvm_get_htab_buf,

                            hpte);

    g_free(htab_buf);

    return;

}

void kvmppc_hash64_free_pteg(uint64_t token)

{

    struct kvm_get_htab_buf *htab_buf;



    htab_buf = container_of((void *)(uintptr_t) token, struct kvm_get_htab_buf,

                            hpte);

    g_free(htab_buf);

    return;

}

void FUNC_0(uint64_t VAR_0)

{

    struct kvm_get_htab_buf *VAR_1;



    VAR_1 = container_of((void *)(uintptr_t) VAR_0, struct kvm_get_htab_buf,

                            hpte);

    g_free(VAR_1);

    return;

}

void FUNC_0(uint64_t VAR_0)
{ struct kvm_get_htab_buf *VAR_1; VAR_1 = container_of((void *)(uintptr_t) VAR_0, struct kvm_get_htab_buf,
hpte); g_free(VAR_1); return; }