void HELPER(set_cp_reg64)(CPUARMState *env, void *rip, uint64_t value)

{

    const ARMCPRegInfo *ri = rip;



    ri->writefn(env, ri, value);

}

void HELPER(set_cp_reg64)(CPUARMState *env, void *rip, uint64_t value)

{

    const ARMCPRegInfo *ri = rip;



    ri->writefn(env, ri, value);

}

    ri->writefn(env, ri, value);     ri->writefn(env, ri, value);
void FUNC_0(set_cp_reg64)(CPUARMState *env, void *rip, uint64_t value)

{

    const ARMCPRegInfo *VAR_0 = rip;



    VAR_0->writefn(env, VAR_0, value);

}

void FUNC_0(set_cp_reg64)(CPUARMState *env, void *rip, uint64_t value)
{ const ARMCPRegInfo *VAR_0 = rip; VAR_0->writefn(env, VAR_0, value); }