NPS_REG_TIMER0_TSI  144 drivers/clocksource/timer-nps.c 	enabled_threads = read_aux_reg(NPS_REG_TIMER0_TSI);
NPS_REG_TIMER0_TSI  149 drivers/clocksource/timer-nps.c 	write_aux_reg(NPS_REG_TIMER0_TSI, enabled_threads);
NPS_REG_TIMER0_TSI  170 drivers/clocksource/timer-nps.c 	enabled_threads = read_aux_reg(NPS_REG_TIMER0_TSI);
NPS_REG_TIMER0_TSI  172 drivers/clocksource/timer-nps.c 	write_aux_reg(NPS_REG_TIMER0_TSI, enabled_threads);