Symbol: DAVINCI_TIMER_REG_PRD12
drivers/clocksource/timer-davinci.c
146
davinci_clockevent_write(clockevent, DAVINCI_TIMER_REG_PRD12, cycles);
drivers/clocksource/timer-davinci.c
223
writel_relaxed(UINT_MAX, base + DAVINCI_TIMER_REG_PRD12);