void do_4xx_tlbsx_ (void)

{

    int tmp = xer_ov;



    T0 = ppcemb_tlb_search(env, T0, env->spr[SPR_40x_PID]);

    if (T0 != -1)

        tmp |= 0x02;

    env->crf[0] = tmp;

}

void do_4xx_tlbsx_ (void)

{

    int tmp = xer_ov;



    T0 = ppcemb_tlb_search(env, T0, env->spr[SPR_40x_PID]);

    if (T0 != -1)

        tmp |= 0x02;

    env->crf[0] = tmp;

}

    int tmp = xer_ov;
void FUNC_0 (void)

{

    int VAR_0 = xer_ov;



    T0 = ppcemb_tlb_search(env, T0, env->spr[SPR_40x_PID]);

    if (T0 != -1)

        VAR_0 |= 0x02;

    env->crf[0] = VAR_0;

}

void FUNC_0 (void)
{ int VAR_0 = xer_ov; T0 = ppcemb_tlb_search(env, T0, env->spr[SPR_40x_PID]); if (T0 != -1)
VAR_0 |= 0x02; env->crf[0] = VAR_0; }