static void pmsav7_write(CPUARMState *env, const ARMCPRegInfo *ri,

                         uint64_t value)

{

    ARMCPU *cpu = arm_env_get_cpu(env);

    uint32_t *u32p = *(uint32_t **)raw_ptr(env, ri);



    if (!u32p) {

        return;

    }



    u32p += env->pmsav7.rnr;

    tlb_flush(CPU(cpu)); /* Mappings may have changed - purge! */

    *u32p = value;

}

static void pmsav7_write(CPUARMState *env, const ARMCPRegInfo *ri,

                         uint64_t value)

{

    ARMCPU *cpu = arm_env_get_cpu(env);

    uint32_t *u32p = *(uint32_t **)raw_ptr(env, ri);



    if (!u32p) {

        return;

    }



    u32p += env->pmsav7.rnr;

    tlb_flush(CPU(cpu)); 

    *u32p = value;

}

static void FUNC_0(CPUARMState *VAR_0, const ARMCPRegInfo *VAR_1,

                         uint64_t VAR_2)

{

    ARMCPU *cpu = arm_env_get_cpu(VAR_0);

    uint32_t *u32p = *(uint32_t **)raw_ptr(VAR_0, VAR_1);



    if (!u32p) {

        return;

    }



    u32p += VAR_0->pmsav7.rnr;

    tlb_flush(CPU(cpu)); 

    *u32p = 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); uint32_t *u32p = *(uint32_t **)raw_ptr(VAR_0, VAR_1); if (!u32p) { return; } u32p += VAR_0->pmsav7.rnr; tlb_flush(CPU(cpu)); *u32p = VAR_2; }