__vgic_v3_get_bpr1  575 virt/kvm/arm/hyp/vgic-v3-sr.c 		bpr = __vgic_v3_get_bpr1(vmcr);
__vgic_v3_get_bpr1  803 virt/kvm/arm/hyp/vgic-v3-sr.c 	vcpu_set_reg(vcpu, rt, __vgic_v3_get_bpr1(vmcr));