Symbol: OSMR1
drivers/clocksource/timer-pxa.c
105
osmr[1] = timer_readl(OSMR1);
drivers/clocksource/timer-pxa.c
124
timer_writel(osmr[1], OSMR1);