TIMER_IRQ_MASK     41 drivers/clocksource/timer-pistachio.c #define TIMER_IRQ_MASK			0x38
TIMER_IRQ_MASK     96 drivers/scsi/nsp32.h # define TIMER_IRQ_MASK             BIT(13)