taglinefilesource code
ack_irq313arch/alpha/kernel/irq.cack_irq(ack);
ack_irq326arch/alpha/kernel/irq.cack_irq(ack);