Symbol: DAVINCI_TIMER_REG_TIM12
drivers/clocksource/timer-davinci.c
130
davinci_clockevent_write(clockevent, DAVINCI_TIMER_REG_TIM12, 0x0);
drivers/clocksource/timer-davinci.c
145
davinci_clockevent_write(clockevent, DAVINCI_TIMER_REG_TIM12, 0x0);
drivers/clocksource/timer-davinci.c
161
DAVINCI_TIMER_REG_TIM12);
drivers/clocksource/timer-davinci.c
222
writel_relaxed(0x0, base + DAVINCI_TIMER_REG_TIM12);
drivers/clocksource/timer-davinci.c
238
writel_relaxed(0x0, base + DAVINCI_TIMER_REG_TIM12);
drivers/clocksource/timer-davinci.c
315
davinci_clocksource.tim_off = DAVINCI_TIMER_REG_TIM12;