find_highest_vector  425 arch/x86/kvm/lapic.c 	return find_highest_vector(apic->regs + APIC_IRR);
find_highest_vector  505 arch/x86/kvm/lapic.c 	result = find_highest_vector(apic->regs + APIC_ISR);