taglinefilesource code
mask_irq266arch/alpha/kernel/irq.cmask_irq(irq);
mask_irq341arch/alpha/kernel/irq.cmask_irq(ack);