NPS_REG_TIMER0_CTRL  153 drivers/clocksource/timer-nps.c 		write_aux_reg(NPS_REG_TIMER0_CTRL, TIMER0_CTRL_NH);
NPS_REG_TIMER0_CTRL  155 drivers/clocksource/timer-nps.c 		write_aux_reg(NPS_REG_TIMER0_CTRL,
NPS_REG_TIMER0_CTRL  177 drivers/clocksource/timer-nps.c 	write_aux_reg(NPS_REG_TIMER0_CTRL,