Symbol: apic_ack_irq