GICH_VMCR_BINPOINT_MASK  240 virt/kvm/arm/vgic/vgic-v2.c 		GICH_VMCR_BINPOINT_MASK;
GICH_VMCR_BINPOINT_MASK  269 virt/kvm/arm/vgic/vgic-v2.c 	vmcrp->bpr  = (vmcr & GICH_VMCR_BINPOINT_MASK) >>