Searched refs:set_kernel_timer (Results 1 – 4 of 4) sorted by relevance
61 set_kernel_timer(tp, exp_time, cause_alarm, caller->p_endpoint); in do_setalarm()
229 void set_kernel_timer( in set_kernel_timer() function
361 set_kernel_timer(&shutdown_timer, get_monotonic() + system_hz, in prepare_shutdown()
26 void set_kernel_timer(minix_timer_t *tp, clock_t t, tmr_func_t f, int arg);