__vgic_v3_pri_to_pre  592 virt/kvm/arm/hyp/vgic-v3-sr.c 	pre = __vgic_v3_pri_to_pre(pri, vmcr, grp);
__vgic_v3_pri_to_pre  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_pri_to_pre  755 virt/kvm/arm/hyp/vgic-v3-sr.c 	    __vgic_v3_pri_to_pre(lr_prio, vmcr, grp) != act_prio)