apic_find_highest_irr  455 arch/x86/kvm/lapic.c 				apic_find_highest_irr(apic));
apic_find_highest_irr  543 arch/x86/kvm/lapic.c 	return apic_find_highest_irr(vcpu->arch.apic);
apic_find_highest_irr  674 arch/x86/kvm/lapic.c 		highest_irr = apic_find_highest_irr(apic);
apic_find_highest_irr 2463 arch/x86/kvm/lapic.c 				apic_find_highest_irr(apic));
apic_find_highest_irr 2581 arch/x86/kvm/lapic.c 	max_irr = apic_find_highest_irr(apic);