__vgic_v3_get_bpr0  554 virt/kvm/arm/hyp/vgic-v3-sr.c 		bpr = __vgic_v3_get_bpr0(vmcr);
__vgic_v3_get_bpr0  573 virt/kvm/arm/hyp/vgic-v3-sr.c 		bpr = __vgic_v3_get_bpr0(vmcr) + 1;
__vgic_v3_get_bpr0  798 virt/kvm/arm/hyp/vgic-v3-sr.c 	vcpu_set_reg(vcpu, rt, __vgic_v3_get_bpr0(vmcr));