KVM_DEV_TYPE_ARM_VGIC_ITS
if (type != KVM_DEV_TYPE_ARM_VGIC_ITS)
KVM_DEV_TYPE_ARM_VGIC_ITS);
its_fd = kvm_create_device(v.vm, KVM_DEV_TYPE_ARM_VGIC_ITS);
int its_fd = kvm_create_device(vm, KVM_DEV_TYPE_ARM_VGIC_ITS);