taglinefilesource code
mask_irq190arch/alpha/kernel/irq.cmask_irq(irq);
mask_irq321arch/alpha/kernel/irq.cmask_irq(ack);