crtr               69 drivers/clocksource/timer-atmel-st.c 		u32	crtr = read_CRTR();
crtr               71 drivers/clocksource/timer-atmel-st.c 		while (((crtr - last_crtr) & AT91_ST_CRTV) >= timer_latch) {