read_xtal_counter   20 drivers/clocksource/timer-tango-xtal.c 	return read_xtal_counter();
read_xtal_counter   42 drivers/clocksource/timer-tango-xtal.c 	delay_timer.read_current_timer = read_xtal_counter;