KVM_DEV_ARM_VGIC_CTRL_INIT
case KVM_DEV_ARM_VGIC_CTRL_INIT:
if (attr == KVM_DEV_ARM_VGIC_CTRL_INIT) /* Nothing to do */
case KVM_DEV_ARM_VGIC_CTRL_INIT:
case KVM_DEV_ARM_VGIC_CTRL_INIT:
case KVM_DEV_ARM_VGIC_CTRL_INIT:
case KVM_DEV_ARM_VGIC_CTRL_INIT:
case KVM_DEV_ARM_VGIC_CTRL_INIT:
case KVM_DEV_ARM_VGIC_CTRL_INIT:
KVM_DEV_ARM_VGIC_CTRL_INIT, NULL);
KVM_DEV_ARM_VGIC_CTRL_INIT, NULL);
KVM_DEV_ARM_VGIC_CTRL_INIT, NULL);
KVM_DEV_ARM_VGIC_CTRL_INIT, NULL);
KVM_DEV_ARM_VGIC_CTRL_INIT, NULL);
KVM_DEV_ARM_VGIC_CTRL_INIT, NULL);
KVM_DEV_ARM_VGIC_CTRL_INIT, NULL);
KVM_DEV_ARM_VGIC_CTRL_INIT, NULL);
KVM_DEV_ARM_VGIC_CTRL_INIT, NULL);
KVM_DEV_ARM_VGIC_CTRL_INIT, NULL);
KVM_DEV_ARM_VGIC_CTRL_INIT, NULL);