Symbol: apic_allocate_irq