KVM_DEV_ARM_VGIC_GRP_LEVEL_INFO  562 virt/kvm/arm/vgic/vgic-kvm-device.c 	case KVM_DEV_ARM_VGIC_GRP_LEVEL_INFO: {
KVM_DEV_ARM_VGIC_GRP_LEVEL_INFO  619 virt/kvm/arm/vgic/vgic-kvm-device.c 	case KVM_DEV_ARM_VGIC_GRP_LEVEL_INFO: {
KVM_DEV_ARM_VGIC_GRP_LEVEL_INFO  683 virt/kvm/arm/vgic/vgic-kvm-device.c 	case KVM_DEV_ARM_VGIC_GRP_LEVEL_INFO: {
KVM_DEV_ARM_VGIC_GRP_LEVEL_INFO  716 virt/kvm/arm/vgic/vgic-kvm-device.c 	case KVM_DEV_ARM_VGIC_GRP_LEVEL_INFO: {