void spapr_tce_reset(DMAContext *dma)

{

    if (dma) {

        sPAPRTCETable *tcet = DO_UPCAST(sPAPRTCETable, dma, dma);

        size_t table_size = (tcet->window_size >> SPAPR_TCE_PAGE_SHIFT)

            * sizeof(sPAPRTCE);



        memset(tcet->table, 0, table_size);

    }

}

void spapr_tce_reset(DMAContext *dma)

{

    if (dma) {

        sPAPRTCETable *tcet = DO_UPCAST(sPAPRTCETable, dma, dma);

        size_t table_size = (tcet->window_size >> SPAPR_TCE_PAGE_SHIFT)

            * sizeof(sPAPRTCE);



        memset(tcet->table, 0, table_size);

    }

}

void FUNC_0(DMAContext *VAR_0)

{

    if (VAR_0) {

        sPAPRTCETable *tcet = DO_UPCAST(sPAPRTCETable, VAR_0, VAR_0);

        size_t table_size = (tcet->window_size >> SPAPR_TCE_PAGE_SHIFT)

            * sizeof(sPAPRTCE);



        memset(tcet->table, 0, table_size);

    }

}

void FUNC_0(DMAContext *VAR_0)
{ if (VAR_0) { sPAPRTCETable *tcet = DO_UPCAST(sPAPRTCETable, VAR_0, VAR_0); size_t table_size = (tcet->window_size >> SPAPR_TCE_PAGE_SHIFT)
* sizeof(sPAPRTCE); memset(tcet->table, 0, table_size); } }