Symbol: OSMR0
drivers/clocksource/timer-pxa.c
104
osmr[0] = timer_readl(OSMR0);
drivers/clocksource/timer-pxa.c
123
timer_writel(osmr[0], OSMR0);
drivers/clocksource/timer-pxa.c
85
timer_writel(next, OSMR0);