static void gen_isync(DisasContext *ctx)

{

    /*

     * We need to check for a pending TLB flush. This can only happen in

     * kernel mode however so check MSR_PR

     */

    if (!ctx->pr) {

        gen_check_tlb_flush(ctx);

    }

    gen_stop_exception(ctx);

}

static void gen_isync(DisasContext *ctx)

{

    







    if (!ctx->pr) {

        gen_check_tlb_flush(ctx);

    }

    gen_stop_exception(ctx);

}

        gen_check_tlb_flush(ctx);         gen_check_tlb_flush(ctx);
static void FUNC_0(DisasContext *VAR_0)

{

    







    if (!VAR_0->pr) {

        gen_check_tlb_flush(VAR_0);

    }

    gen_stop_exception(VAR_0);

}

static void FUNC_0(DisasContext *VAR_0)
{ if (!VAR_0->pr) { gen_check_tlb_flush(VAR_0); } gen_stop_exception(VAR_0); }