manager_flush_server_names   85 src/timesync/timesyncd-conf.c                 manager_flush_server_names(m, ltype);
manager_flush_server_names 1004 src/timesync/timesyncd-manager.c         manager_flush_server_names(m, SERVER_SYSTEM);
manager_flush_server_names 1005 src/timesync/timesyncd-manager.c         manager_flush_server_names(m, SERVER_LINK);
manager_flush_server_names 1006 src/timesync/timesyncd-manager.c         manager_flush_server_names(m, SERVER_FALLBACK);
manager_flush_server_names 1058 src/timesync/timesyncd-manager.c         manager_flush_server_names(m, SERVER_LINK);
manager_flush_server_names  102 src/timesync/timesyncd-manager.h void manager_flush_server_names(Manager *m, ServerType t);