KVM_VGIC_V3_ADDR_TYPE_DIST   75 virt/kvm/arm/vgic/vgic-kvm-device.c 	case KVM_VGIC_V3_ADDR_TYPE_DIST:
KVM_VGIC_V3_ADDR_TYPE_DIST  704 virt/kvm/arm/vgic/vgic-kvm-device.c 		case KVM_VGIC_V3_ADDR_TYPE_DIST: