void helper_check_tlb_flush(CPUPPCState *env)

{

    check_tlb_flush(env);

}

void helper_check_tlb_flush(CPUPPCState *env)

{

    check_tlb_flush(env);

}

    check_tlb_flush(env);     check_tlb_flush(env);     check_tlb_flush(env); void helper_check_tlb_flush(CPUPPCState *env)     check_tlb_flush(env);
void FUNC_0(CPUPPCState *VAR_0)

{

    check_tlb_flush(VAR_0);

}

void FUNC_0(CPUPPCState *VAR_0)
{ check_tlb_flush(VAR_0); }