{
int r;
switch (ext) {
-#ifdef CONFIG_KVM_ARM_VGIC
case KVM_CAP_IRQCHIP:
-#endif
case KVM_CAP_DEVICE_CTRL:
case KVM_CAP_USER_MEMORY:
case KVM_CAP_SYNC_MMU:
switch (dev_id) {
case KVM_ARM_DEVICE_VGIC_V2:
- if (!IS_ENABLED(CONFIG_KVM_ARM_VGIC))
- return -ENXIO;
return kvm_vgic_addr(kvm, type, &dev_addr->addr, true);
default:
return -ENODEV;
switch (ioctl) {
case KVM_CREATE_IRQCHIP: {
- if (!IS_ENABLED(CONFIG_KVM_ARM_VGIC))
- return -ENXIO;
return kvm_vgic_create(kvm, KVM_DEV_TYPE_ARM_VGIC_V2);
}
case KVM_ARM_SET_DEVICE_ADDR: {