static void fcse_write(CPUARMState *env, const ARMCPRegInfo *ri, uint64_t value)

{

    ARMCPU *cpu = arm_env_get_cpu(env);



    if (env->cp15.c13_fcse != value) {

        /* Unlike real hardware the qemu TLB uses virtual addresses,

         * not modified virtual addresses, so this causes a TLB flush.

         */

        tlb_flush(CPU(cpu), 1);

        env->cp15.c13_fcse = value;

    }

}

static void fcse_write(CPUARMState *env, const ARMCPRegInfo *ri, uint64_t value)

{

    ARMCPU *cpu = arm_env_get_cpu(env);



    if (env->cp15.c13_fcse != value) {

        





        tlb_flush(CPU(cpu), 1);

        env->cp15.c13_fcse = value;

    }

}

static void FUNC_0(CPUARMState *VAR_0, const ARMCPRegInfo *VAR_1, uint64_t VAR_2)

{

    ARMCPU *cpu = arm_env_get_cpu(VAR_0);



    if (VAR_0->cp15.c13_fcse != VAR_2) {

        





        tlb_flush(CPU(cpu), 1);

        VAR_0->cp15.c13_fcse = VAR_2;

    }

}

static void FUNC_0(CPUARMState *VAR_0, const ARMCPRegInfo *VAR_1, uint64_t VAR_2)
{ ARMCPU *cpu = arm_env_get_cpu(VAR_0); if (VAR_0->cp15.c13_fcse != VAR_2) { tlb_flush(CPU(cpu), 1); VAR_0->cp15.c13_fcse = VAR_2; } }