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);