Symbol: apic_find_highest_isr