Searched refs:daplka_timer_dispatch (Results 1 – 1 of 1) sorted by relevance
178 static void daplka_timer_dispatch(void *);1889 daplka_timer_dispatch(void *arg) in daplka_timer_dispatch() function1898 (void) timeout(daplka_timer_dispatch, arg, 10); in daplka_timer_dispatch()1924 daplka_timer_dispatch((void *)timerp); in daplka_timer_handler()