Symbol: __vgic_v3_get_bpr1
arch/arm64/kvm/hyp/vgic-v3-sr.c
678
bpr = __vgic_v3_get_bpr1(vmcr);
arch/arm64/kvm/hyp/vgic-v3-sr.c
901
vcpu_set_reg(vcpu, rt, __vgic_v3_get_bpr1(vmcr));