struct discover_server;
struct device_handler;
+struct boot_option;
+struct boot_status;
struct device;
struct discover_server *discover_server_init(struct waitset *waitset);
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);
#endif /* _DISCOVER_SERVER_H */