NPCM7XX_Tx_INTEN   44 drivers/clocksource/timer-npcm7xx.c 					NPCM7XX_Tx_INTEN | \
NPCM7XX_Tx_INTEN   48 drivers/clocksource/timer-npcm7xx.c 					NPCM7XX_Tx_INTEN | \