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