arc_read_timer1   203 drivers/clocksource/arc_timer.c 	return arc_read_timer1(NULL);
arc_read_timer1   209 drivers/clocksource/arc_timer.c 	.read   = arc_read_timer1,