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