ui/ncurses: Display current ipmi bootdev settings

[petitboot] / discover / discover-server.h

diff --git a/discover/discover-server.h b/discover/discover-server.h
index 6650bba638095c9d91306eb3ef9d89520b03d1fe..97f53b92165c52aacea82eb071ddbd3f6d54e099 100644 (file)
--- a/discover/discover-server.h
+++ b/discover/discover-server.h
@@ -5,7 +5,11 @@
 
 struct discover_server;
 struct device_handler;
+struct boot_option;
+struct boot_status;
+struct system_info;
 struct device;
+struct config;
 
 struct discover_server *discover_server_init(struct waitset *waitset);
 
@@ -14,8 +18,16 @@ 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_notify_add(struct discover_server *server,
+void discover_server_notify_device_add(struct discover_server *server,
                struct device *device);
-void discover_server_notify_remove(struct discover_server *server,
+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 boot_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);
 #endif /* _DISCOVER_SERVER_H */