apic_find_highest_isr  219 arch/x86/kvm/lapic.c 	isr = apic_find_highest_isr(apic);
apic_find_highest_isr  440 arch/x86/kvm/lapic.c 	int vector = apic_find_highest_isr(apic);
apic_find_highest_isr 1160 arch/x86/kvm/lapic.c 	max_isr = apic_find_highest_isr(apic);