AUX_RTC_CTRL      142 drivers/clocksource/arc_timer.c 		status = read_aux_reg(AUX_RTC_CTRL);
AUX_RTC_CTRL      182 drivers/clocksource/arc_timer.c 	write_aux_reg(AUX_RTC_CTRL, 1);