+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);