GIC_CPU_BINPOINT  293 virt/kvm/arm/vgic/vgic-mmio-v2.c 	case GIC_CPU_BINPOINT:
GIC_CPU_BINPOINT  340 virt/kvm/arm/vgic/vgic-mmio-v2.c 	case GIC_CPU_BINPOINT:
GIC_CPU_BINPOINT  458 virt/kvm/arm/vgic/vgic-mmio-v2.c 	REGISTER_DESC_WITH_LENGTH(GIC_CPU_BINPOINT,