KVM_ARM_VCPU_INIT
case KVM_ARM_VCPU_INIT: {
ret = __vcpu_ioctl(vcpu0, KVM_ARM_VCPU_INIT, init0);
ret = __vcpu_ioctl(vcpu1, KVM_ARM_VCPU_INIT, init1);
ret = __vcpu_ioctl(vcpu0, KVM_ARM_VCPU_INIT, init0);
ret = __vcpu_ioctl(vcpu1, KVM_ARM_VCPU_INIT, init1);
vcpu_ioctl(vcpu, KVM_ARM_VCPU_INIT, init);
err = ioctl(vcpu_fd, KVM_ARM_VCPU_INIT, &preferred_init);
TEST_ASSERT(err == 0, KVM_IOCTL_ERROR(KVM_ARM_VCPU_INIT, err));