DAVINCI_TIMER_REG_TCR  100 drivers/clocksource/timer-davinci.c 	writel_relaxed(tcr, base + DAVINCI_TIMER_REG_TCR);
DAVINCI_TIMER_REG_TCR  113 drivers/clocksource/timer-davinci.c 	writel_relaxed(tcr, base + DAVINCI_TIMER_REG_TCR);
DAVINCI_TIMER_REG_TCR  208 drivers/clocksource/timer-davinci.c 	writel_relaxed(tcr, base + DAVINCI_TIMER_REG_TCR);
DAVINCI_TIMER_REG_TCR  225 drivers/clocksource/timer-davinci.c 	writel_relaxed(tcr, base + DAVINCI_TIMER_REG_TCR);
DAVINCI_TIMER_REG_TCR  231 drivers/clocksource/timer-davinci.c 	writel_relaxed(0x0, base + DAVINCI_TIMER_REG_TCR);