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