Symbol: __vgic_v3_get_bpr0
arch/arm64/kvm/hyp/vgic-v3-sr.c
657
bpr = __vgic_v3_get_bpr0(vmcr);
arch/arm64/kvm/hyp/vgic-v3-sr.c
676
bpr = __vgic_v3_get_bpr0(vmcr) + 1;
arch/arm64/kvm/hyp/vgic-v3-sr.c
896
vcpu_set_reg(vcpu, rt, __vgic_v3_get_bpr0(vmcr));