Symbol: GICH_VMCR_BINPOINT_MASK
arch/arm64/kvm/vgic/vgic-v2.c
359
GICH_VMCR_BINPOINT_MASK;
arch/arm64/kvm/vgic/vgic-v2.c
388
vmcrp->bpr = (vmcr & GICH_VMCR_BINPOINT_MASK) >>