static void add_cpreg_to_list(gpointer key, gpointer opaque)

{

    ARMCPU *cpu = opaque;

    uint64_t regidx;

    const ARMCPRegInfo *ri;



    regidx = *(uint32_t *)key;

    ri = get_arm_cp_reginfo(cpu->cp_regs, regidx);



    if (!(ri->type & ARM_CP_NO_MIGRATE)) {

        cpu->cpreg_indexes[cpu->cpreg_array_len] = cpreg_to_kvm_id(regidx);

        /* The value array need not be initialized at this point */

        cpu->cpreg_array_len++;

    }

}

static void add_cpreg_to_list(gpointer key, gpointer opaque)

{

    ARMCPU *cpu = opaque;

    uint64_t regidx;

    const ARMCPRegInfo *ri;



    regidx = *(uint32_t *)key;

    ri = get_arm_cp_reginfo(cpu->cp_regs, regidx);



    if (!(ri->type & ARM_CP_NO_MIGRATE)) {

        cpu->cpreg_indexes[cpu->cpreg_array_len] = cpreg_to_kvm_id(regidx);

        

        cpu->cpreg_array_len++;

    }

}

static void FUNC_0(gpointer VAR_0, gpointer VAR_1)

{

    ARMCPU *cpu = VAR_1;

    uint64_t regidx;

    const ARMCPRegInfo *VAR_2;



    regidx = *(uint32_t *)VAR_0;

    VAR_2 = get_arm_cp_reginfo(cpu->cp_regs, regidx);



    if (!(VAR_2->type & ARM_CP_NO_MIGRATE)) {

        cpu->cpreg_indexes[cpu->cpreg_array_len] = cpreg_to_kvm_id(regidx);

        

        cpu->cpreg_array_len++;

    }

}

static void FUNC_0(gpointer VAR_0, gpointer VAR_1)
{ ARMCPU *cpu = VAR_1; uint64_t regidx; const ARMCPRegInfo *VAR_2; regidx = *(uint32_t *)VAR_0; VAR_2 = get_arm_cp_reginfo(cpu->cp_regs, regidx); if (!(VAR_2->type & ARM_CP_NO_MIGRATE)) { cpu->cpreg_indexes[cpu->cpreg_array_len] = cpreg_to_kvm_id(regidx); cpu->cpreg_array_len++; } }