Various fixups and checks to make scan-build happy

[petitboot] / discover / discover-server.h

diff --git a/discover/discover-server.h b/discover/discover-server.h
index e47cf5f67237125ef641b9ec4311261575edfdad..9722e173399a393f793f149f7dfebeaf61395280 100644 (file)
--- a/discover/discover-server.h
+++ b/discover/discover-server.h
@@ -6,7 +6,12 @@
 struct discover_server;
 struct device_handler;
 struct boot_option;
+struct status;
+struct plugin_option;
+struct boot_status;
+struct system_info;
 struct device;
+struct config;
 
 struct discover_server *discover_server_init(struct waitset *waitset);
 
@@ -15,10 +20,22 @@ void discover_server_destroy(struct discover_server *server);
 void discover_server_set_device_source(struct discover_server *server,
                struct device_handler *handler);
 
+void discover_server_set_auth_mode(struct discover_server *server,
+               bool restrict_clients);
+
 void discover_server_notify_device_add(struct discover_server *server,
                struct device *device);
 void discover_server_notify_boot_option_add(struct discover_server *server,
                struct boot_option *option);
 void discover_server_notify_device_remove(struct discover_server *server,
                struct device *device);
+void discover_server_notify_boot_status(struct discover_server *server,
+               struct status *status);
+void discover_server_notify_system_info(struct discover_server *server,
+               const struct system_info *sysinfo);
+void discover_server_notify_config(struct discover_server *server,
+               const struct config *config);
+void discover_server_notify_plugin_option_add(struct discover_server *server,
+               struct plugin_option *option);
+void discover_server_notify_plugins_remove(struct discover_server *server);
 #endif /* _DISCOVER_SERVER_H */