void spapr_tce_set_bypass(sPAPRTCETable *tcet, bool bypass)

{

    tcet->bypass = bypass;

}

void spapr_tce_set_bypass(sPAPRTCETable *tcet, bool bypass)

{

    tcet->bypass = bypass;

}

void FUNC_0(sPAPRTCETable *VAR_0, bool VAR_1)

{

    VAR_0->VAR_1 = VAR_1;

}

void FUNC_0(sPAPRTCETable *VAR_0, bool VAR_1)
{ VAR_0->VAR_1 = VAR_1; }