apic_find_highest_irr  181 arch/x86/kvm/lapic.c 	highest_irr = apic_find_highest_irr(apic);
apic_find_highest_irr 1047 arch/x86/kvm/lapic.c 	highest_irr = apic_find_highest_irr(apic);
apic_find_highest_irr 1157 arch/x86/kvm/lapic.c 	max_irr = apic_find_highest_irr(apic);