__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();