NPCM7XX_Tx_MAX_CNT  166 drivers/clocksource/timer-npcm7xx.c 					0x1, NPCM7XX_Tx_MAX_CNT);
NPCM7XX_Tx_MAX_CNT  175 drivers/clocksource/timer-npcm7xx.c 	writel(NPCM7XX_Tx_MAX_CNT,