TIMER1_COUNT      155 drivers/clocksource/timer-fttmr010.c 		cr = readl(fttmr010->base + TIMER1_COUNT);
TIMER1_COUNT      191 drivers/clocksource/timer-fttmr010.c 	writel(0, fttmr010->base + TIMER1_COUNT);
TIMER1_COUNT      223 drivers/clocksource/timer-fttmr010.c 		writel(cr, fttmr010->base + TIMER1_COUNT);
TIMER1_COUNT      356 drivers/clocksource/timer-fttmr010.c 	writel(0, fttmr010->base + TIMER1_COUNT);