Symbol: __vgic_v3_get_highest_active_priority
arch/arm64/kvm/hyp/vgic-v3-sr.c
1034
u32 val = __vgic_v3_get_highest_active_priority();
arch/arm64/kvm/hyp/vgic-v3-sr.c
766
if (__vgic_v3_get_highest_active_priority() <= __vgic_v3_pri_to_pre(lr_prio, vmcr, grp))