apic_idt_to_irq
isrc = intr_lookup_source(apic_idt_to_irq(PCPU_GET(apic_id),
static u_int apic_idt_to_irq(u_int apic_id, u_int vector);