int kvm_arch_vcpu_init(struct kvm_vcpu *vcpu)
{
	int ret;

	/* Force users to call KVM_ARM_VCPU_INIT */
	vcpu->arch.target = -1;

	/* Set up VGIC */
	ret = kvm_vgic_vcpu_init(vcpu);
	if (ret)
		return ret;

	/* Set up the timer */
	kvm_timer_vcpu_init(vcpu);

	return 0;
}
int kvm_arch_vcpu_init(struct kvm_vcpu *vcpu)
{
	int ret;

	 
	vcpu->arch.target = -1;

	 
	ret = kvm_vgic_vcpu_init(vcpu);
	if (ret)
		return ret;

	 
	kvm_timer_vcpu_init(vcpu);

	return 0;
}