void spapr_tce_free(sPAPRTCETable *tcet)

{

    QLIST_REMOVE(tcet, list);



    if (!kvm_enabled() ||

        (kvmppc_remove_spapr_tce(tcet->table, tcet->fd,

                                 tcet->window_size) != 0)) {

        g_free(tcet->table);

    }



    g_free(tcet);

}

void spapr_tce_free(sPAPRTCETable *tcet)

{

    QLIST_REMOVE(tcet, list);



    if (!kvm_enabled() ||

        (kvmppc_remove_spapr_tce(tcet->table, tcet->fd,

                                 tcet->window_size) != 0)) {

        g_free(tcet->table);

    }



    g_free(tcet);

}

void FUNC_0(sPAPRTCETable *VAR_0)

{

    QLIST_REMOVE(VAR_0, list);



    if (!kvm_enabled() ||

        (kvmppc_remove_spapr_tce(VAR_0->table, VAR_0->fd,

                                 VAR_0->window_size) != 0)) {

        g_free(VAR_0->table);

    }



    g_free(VAR_0);

}

void FUNC_0(sPAPRTCETable *VAR_0)
{ QLIST_REMOVE(VAR_0, list); if (!kvm_enabled() ||
(kvmppc_remove_spapr_tce(VAR_0->table, VAR_0->fd,
VAR_0->window_size) != 0)) { g_free(VAR_0->table); } g_free(VAR_0); }