void spapr_tce_reset(sPAPRTCETable *tcet)

{

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

        * sizeof(sPAPRTCE);



    tcet->bypass = false;

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

}

void spapr_tce_reset(sPAPRTCETable *tcet)

{

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

        * sizeof(sPAPRTCE);



    tcet->bypass = false;

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

}

void FUNC_0(sPAPRTCETable *VAR_0)

{

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

        * sizeof(sPAPRTCE);



    VAR_0->bypass = false;

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

}

void FUNC_0(sPAPRTCETable *VAR_0)
{ size_t table_size = (VAR_0->window_size >> SPAPR_TCE_PAGE_SHIFT)
* sizeof(sPAPRTCE); VAR_0->bypass = false; memset(VAR_0->table, 0, table_size); }