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