timer_dispatch     41 src/core/timer.c static int timer_dispatch(sd_event_source *s, uint64_t usec, void *userdata);
timer_dispatch    446 src/core/timer.c                                         timer_dispatch, t);
timer_dispatch    473 src/core/timer.c                                         timer_dispatch, t);