Symbol: OSMR2
drivers/clocksource/timer-pxa.c
106
osmr[2] = timer_readl(OSMR2);
drivers/clocksource/timer-pxa.c
125
timer_writel(osmr[2], OSMR2);