void kvm_arm_reset_vcpu(ARMCPU *cpu)

{

    /* Re-init VCPU so that all registers are set to

     * their respective reset values.

     */

    kvm_arm_vcpu_init(CPU(cpu));

    write_kvmstate_to_list(cpu);

}

void kvm_arm_reset_vcpu(ARMCPU *cpu)

{

    





    kvm_arm_vcpu_init(CPU(cpu));

    write_kvmstate_to_list(cpu);

}

    kvm_arm_vcpu_init(CPU(cpu));     write_kvmstate_to_list(cpu);
void FUNC_0(ARMCPU *VAR_0)

{

    





    kvm_arm_vcpu_init(CPU(VAR_0));

    write_kvmstate_to_list(VAR_0);

}

void FUNC_0(ARMCPU *VAR_0)
{ kvm_arm_vcpu_init(CPU(VAR_0)); write_kvmstate_to_list(VAR_0); }