NPCM7XX_REG_TCSR1  174 drivers/clocksource/timer-npcm7xx.c 		timer_of_base(&npcm7xx_to) + NPCM7XX_REG_TCSR1);
NPCM7XX_REG_TCSR1  178 drivers/clocksource/timer-npcm7xx.c 	val = readl(timer_of_base(&npcm7xx_to) + NPCM7XX_REG_TCSR1);
NPCM7XX_REG_TCSR1  180 drivers/clocksource/timer-npcm7xx.c 	writel(val, timer_of_base(&npcm7xx_to) + NPCM7XX_REG_TCSR1);