KVM_VGIC_V3_ADDR_TYPE_REDIST   80 virt/kvm/arm/vgic/vgic-kvm-device.c 	case KVM_VGIC_V3_ADDR_TYPE_REDIST: {
KVM_VGIC_V3_ADDR_TYPE_REDIST  705 virt/kvm/arm/vgic/vgic-kvm-device.c 		case KVM_VGIC_V3_ADDR_TYPE_REDIST: