Symbol: apic_idt_to_irq