1 #ifndef _DISCOVER_SERVER_H
2 #define _DISCOVER_SERVER_H
4 #include <waiter/waiter.h>
6 struct discover_server;
16 struct discover_server *discover_server_init(struct waitset *waitset);
18 void discover_server_destroy(struct discover_server *server);
20 void discover_server_set_device_source(struct discover_server *server,
21 struct device_handler *handler);
23 void discover_server_notify_device_add(struct discover_server *server,
24 struct device *device);
25 void discover_server_notify_boot_option_add(struct discover_server *server,
26 struct boot_option *option);
27 void discover_server_notify_device_remove(struct discover_server *server,
28 struct device *device);
29 void discover_server_notify_boot_status(struct discover_server *server,
30 struct status *status);
31 void discover_server_notify_system_info(struct discover_server *server,
32 const struct system_info *sysinfo);
33 void discover_server_notify_config(struct discover_server *server,
34 const struct config *config);
35 void discover_server_notify_plugin_option_add(struct discover_server *server,
36 struct plugin_option *option);
37 void discover_server_notify_plugins_remove(struct discover_server *server);
38 #endif /* _DISCOVER_SERVER_H */