nios2_timer_stop  176 arch/nios2/kernel/time.c 	nios2_timer_stop(timer);
nios2_timer_stop  265 arch/nios2/kernel/time.c 	nios2_timer_stop(&nios2_ce.timer);