DAVINCI_TIMER_REG_PRD12  147 drivers/clocksource/timer-davinci.c 	davinci_clockevent_write(clockevent, DAVINCI_TIMER_REG_PRD12, cycles);
DAVINCI_TIMER_REG_PRD12  224 drivers/clocksource/timer-davinci.c 	writel_relaxed(UINT_MAX, base + DAVINCI_TIMER_REG_PRD12);