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

{

    ARMCPU *cpu = arm_env_get_cpu(env);



    env->cp15.c3 = value;

    tlb_flush(CPU(cpu), 1); /* Flush TLB as domain not tracked in TLB */

}

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

{

    ARMCPU *cpu = arm_env_get_cpu(env);



    env->cp15.c3 = value;

    tlb_flush(CPU(cpu), 1); 

}

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

{

    ARMCPU *cpu = arm_env_get_cpu(VAR_0);



    VAR_0->cp15.c3 = VAR_2;

    tlb_flush(CPU(cpu), 1); 

}

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