__vgic_v3_get_highest_active_priority 663 virt/kvm/arm/hyp/vgic-v3-sr.c if (__vgic_v3_get_highest_active_priority() <= __vgic_v3_pri_to_pre(lr_prio, vmcr, grp)) __vgic_v3_get_highest_active_priority 957 virt/kvm/arm/hyp/vgic-v3-sr.c u32 val = __vgic_v3_get_highest_active_priority();