+void discover_server_set_device_source(struct discover_server *server,
+ struct device_handler *handler);
+
+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 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);