void kvm_arm_reset_vcpu(ARMCPU *cpu)

{

    /* Feed the kernel back its initial register state */

    memmove(cpu->cpreg_values, cpu->cpreg_reset_values,

            cpu->cpreg_array_len * sizeof(cpu->cpreg_values[0]));



    if (!write_list_to_kvmstate(cpu)) {

        abort();

    }

}

void kvm_arm_reset_vcpu(ARMCPU *cpu)

{

    

    memmove(cpu->cpreg_values, cpu->cpreg_reset_values,

            cpu->cpreg_array_len * sizeof(cpu->cpreg_values[0]));



    if (!write_list_to_kvmstate(cpu)) {

        abort();

    }

}

void FUNC_0(ARMCPU *VAR_0)

{

    

    memmove(VAR_0->cpreg_values, VAR_0->cpreg_reset_values,

            VAR_0->cpreg_array_len * sizeof(VAR_0->cpreg_values[0]));



    if (!write_list_to_kvmstate(VAR_0)) {

        abort();

    }

}

void FUNC_0(ARMCPU *VAR_0)
{ memmove(VAR_0->cpreg_values, VAR_0->cpreg_reset_values,
VAR_0->cpreg_array_len * sizeof(VAR_0->cpreg_values[0])); if (!write_list_to_kvmstate(VAR_0)) { abort(); } }