KVM_DEV_TYPE_ARM_VGIC_V3
vcpu->kvm->arch.vgic.vgic_model == KVM_DEV_TYPE_ARM_VGIC_V3 &&
if (kern_hyp_va(vcpu->kvm)->arch.vgic.vgic_model != KVM_DEV_TYPE_ARM_VGIC_V3)
bool v3 = dist->vgic_model == KVM_DEV_TYPE_ARM_VGIC_V3;
if (type == KVM_DEV_TYPE_ARM_VGIC_V3)
case KVM_DEV_TYPE_ARM_VGIC_V3:
case KVM_DEV_TYPE_ARM_VGIC_V3:
if (dist->vgic_model == KVM_DEV_TYPE_ARM_VGIC_V3) {
if (dist->vgic_model == KVM_DEV_TYPE_ARM_VGIC_V3) {
if (vcpu->kvm->arch.vgic.vgic_model == KVM_DEV_TYPE_ARM_VGIC_V3) {
if (kvm->arch.vgic.vgic_model == KVM_DEV_TYPE_ARM_VGIC_V3)
r = vgic_check_type(kvm, KVM_DEV_TYPE_ARM_VGIC_V3);
r = vgic_check_type(kvm, KVM_DEV_TYPE_ARM_VGIC_V3);
r = vgic_check_type(kvm, KVM_DEV_TYPE_ARM_VGIC_V3);
if (vgic_check_type(dev->kvm, KVM_DEV_TYPE_ARM_VGIC_V3))
case KVM_DEV_TYPE_ARM_VGIC_V3:
KVM_DEV_TYPE_ARM_VGIC_V3);
if (dist->vgic_model != KVM_DEV_TYPE_ARM_VGIC_V3)
case KVM_DEV_TYPE_ARM_VGIC_V3:
if ((vcpu->kvm->arch.vgic.vgic_model == KVM_DEV_TYPE_ARM_VGIC_V3 &&
if ((vcpu->kvm->arch.vgic.vgic_model == KVM_DEV_TYPE_ARM_VGIC_V3 &&
if (vcpu->kvm->arch.vgic.vgic_model == KVM_DEV_TYPE_ARM_VGIC_V3) {
if (vcpu->kvm->arch.vgic.vgic_model == KVM_DEV_TYPE_ARM_VGIC_V3) {
ret = kvm_register_vgic_device(KVM_DEV_TYPE_ARM_VGIC_V3);
ret = kvm_register_vgic_device(KVM_DEV_TYPE_ARM_VGIC_V3);
kvm->arch.vgic.vgic_model == KVM_DEV_TYPE_ARM_VGIC_V3);
ret = test_kvm_device(KVM_DEV_TYPE_ARM_VGIC_V3);
run_tests(KVM_DEV_TYPE_ARM_VGIC_V3);
#define VGIC_DEV_IS_V3(_d) ((_d) == KVM_DEV_TYPE_ARM_VGIC_V3)
v = vm_gic_create_with_vcpus(KVM_DEV_TYPE_ARM_VGIC_V3, NR_VCPUS, vcpus);
v = vm_gic_create_with_vcpus(KVM_DEV_TYPE_ARM_VGIC_V3, NR_VCPUS, vcpus);
v = vm_gic_create_with_vcpus(KVM_DEV_TYPE_ARM_VGIC_V3, NR_VCPUS, vcpus);
v.gic_fd = kvm_create_device(v.vm, KVM_DEV_TYPE_ARM_VGIC_V3);
v.gic_fd = kvm_create_device(v.vm, KVM_DEV_TYPE_ARM_VGIC_V3);
v = vm_gic_create_with_vcpus(KVM_DEV_TYPE_ARM_VGIC_V3, 1, vcpus);
v = vm_gic_create_with_vcpus(KVM_DEV_TYPE_ARM_VGIC_V3, NR_VCPUS, vcpus);
vm = vm_gic_create_with_vcpus(KVM_DEV_TYPE_ARM_VGIC_V3, NR_VCPUS, vcpus);
other = VGIC_DEV_IS_V2(gic_dev_type) ? KVM_DEV_TYPE_ARM_VGIC_V3
gic = kvm_create_device(vm, KVM_DEV_TYPE_ARM_VGIC_V3);
r = __kvm_test_create_device(vm, KVM_DEV_TYPE_ARM_VGIC_V3);
gic_fd = __kvm_create_device(vm, KVM_DEV_TYPE_ARM_VGIC_V3);