NPCM7XX_REG_TISR  127 drivers/clocksource/timer-npcm7xx.c 	writel(NPCM7XX_T0_CLR_INT, timer_of_base(to) + NPCM7XX_REG_TISR);
NPCM7XX_REG_TISR  161 drivers/clocksource/timer-npcm7xx.c 		timer_of_base(&npcm7xx_to) + NPCM7XX_REG_TISR);