1 #ifndef _DISCOVER_SERVER_H
2 #define _DISCOVER_SERVER_H
4 #include <waiter/waiter.h>
6 struct discover_server;
11 struct discover_server *discover_server_init(struct waitset *waitset);
13 void discover_server_destroy(struct discover_server *server);
15 void discover_server_set_device_source(struct discover_server *server,
16 struct device_handler *handler);
18 void discover_server_notify_device_add(struct discover_server *server,
19 struct device *device);
20 void discover_server_notify_boot_option_add(struct discover_server *server,
21 struct boot_option *option);
22 void discover_server_notify_device_remove(struct discover_server *server,
23 struct device *device);
24 #endif /* _DISCOVER_SERVER_H */