1 #ifndef _DISCOVER_SERVER_H
2 #define _DISCOVER_SERVER_H
4 #include <waiter/waiter.h>
6 struct discover_server;
13 struct discover_server *discover_server_init(struct waitset *waitset);
15 void discover_server_destroy(struct discover_server *server);
17 void discover_server_set_device_source(struct discover_server *server,
18 struct device_handler *handler);
20 void discover_server_notify_device_add(struct discover_server *server,
21 struct device *device);
22 void discover_server_notify_boot_option_add(struct discover_server *server,
23 struct boot_option *option);
24 void discover_server_notify_device_remove(struct discover_server *server,
25 struct device *device);
26 void discover_server_notify_boot_status(struct discover_server *server,
27 struct boot_status *status);
28 void discover_server_notify_system_info(struct discover_server *server,
29 const struct system_info *sysinfo);
30 #endif /* _DISCOVER_SERVER_H */