ServerType         28 src/timesync/timesyncd-conf.c int manager_parse_server_string(Manager *m, ServerType type, const char *string) {
ServerType        983 src/timesync/timesyncd-manager.c void manager_flush_server_names(Manager  *m, ServerType t) {
ServerType        102 src/timesync/timesyncd-manager.h void manager_flush_server_names(Manager *m, ServerType t);
ServerType         72 src/timesync/timesyncd-server.c                 ServerType type,
ServerType         50 src/timesync/timesyncd-server.h         ServerType type;
ServerType         65 src/timesync/timesyncd-server.h int server_name_new(Manager *m, ServerName **ret, ServerType type,const char *string);