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