KVM_DEV_TYPE_ARM_VGIC_V5
else if (type == KVM_DEV_TYPE_ARM_VGIC_V5)
if (type == KVM_DEV_TYPE_ARM_VGIC_V5)
if (dist->vgic_model == KVM_DEV_TYPE_ARM_VGIC_V5)
case KVM_DEV_TYPE_ARM_VGIC_V5:
case KVM_DEV_TYPE_ARM_VGIC_V5:
KVM_DEV_TYPE_ARM_VGIC_V5);
case KVM_DEV_TYPE_ARM_VGIC_V5:
case KVM_DEV_TYPE_ARM_VGIC_V5:
ret = kvm_register_vgic_device(KVM_DEV_TYPE_ARM_VGIC_V5);
case KVM_DEV_TYPE_ARM_VGIC_V5:
case KVM_DEV_TYPE_ARM_VGIC_V5:
case KVM_DEV_TYPE_ARM_VGIC_V5:
#define get_vgic_ppi(k, i) (((k)->arch.vgic.vgic_model != KVM_DEV_TYPE_ARM_VGIC_V5) ? \
case KVM_DEV_TYPE_ARM_VGIC_V5: \
case KVM_DEV_TYPE_ARM_VGIC_V5: \
case KVM_DEV_TYPE_ARM_VGIC_V5: \
case KVM_DEV_TYPE_ARM_VGIC_V5: \
case KVM_DEV_TYPE_ARM_VGIC_V5: \
ret = test_kvm_device(KVM_DEV_TYPE_ARM_VGIC_V5);
run_tests(KVM_DEV_TYPE_ARM_VGIC_V5);