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