nios2_timer_config  166 arch/nios2/kernel/time.c 	nios2_timer_config(&nios2_ced->timer, delta, false);
nios2_timer_config  187 arch/nios2/kernel/time.c 	nios2_timer_config(timer, period, true);