Symbol: ARC_REG_TIMER1_CNT
drivers/clocksource/arc_timer.c
198
return (u64) read_aux_reg(ARC_REG_TIMER1_CNT);
drivers/clocksource/arc_timer.c
227
write_aux_reg(ARC_REG_TIMER1_CNT, 0);