void cpu_x86_update_cr3(CPUX86State *env)

{

    if (env->cr[0] & CR0_PG_MASK) {

#if defined(DEBUG_MMU)

        printf("CR3 update: CR3=%08x\n", env->cr[3]);

#endif

        tlb_flush(env);

    }

}

void cpu_x86_update_cr3(CPUX86State *env)

{

    if (env->cr[0] & CR0_PG_MASK) {

#if defined(DEBUG_MMU)

        printf("CR3 update: CR3=%08x\n", env->cr[3]);

#endif

        tlb_flush(env);

    }

}

void FUNC_0(CPUX86State *VAR_0)

{

    if (VAR_0->cr[0] & CR0_PG_MASK) {

#if defined(DEBUG_MMU)

        printf("CR3 update: CR3=%08x\n", VAR_0->cr[3]);

#endif

        tlb_flush(VAR_0);

    }

}

void FUNC_0(CPUX86State *VAR_0)
{ if (VAR_0->cr[0] & CR0_PG_MASK) { #if defined(DEBUG_MMU)
printf("CR3 update: CR3=%08x\n", VAR_0->cr[3]); #endif
tlb_flush(VAR_0); } }