service_dispatch_timer   89 src/core/service.c static int service_dispatch_timer(sd_event_source *source, usec_t usec, void *userdata);
service_dispatch_timer  307 src/core/service.c                         service_dispatch_timer, s);