Ignore /dev/loop* devices
[petitboot] / petitboot.h
index aeac73bd0a2efd5cda2f5ffe4036305cb26a53cc..a77bfef7c864e2035e18f55824ce785ef94c7dd5 100644 (file)
@@ -9,7 +9,9 @@
 int pboot_add_device(const char *dev_id, const char *name,
                twin_pixmap_t *pixmap);
 int pboot_add_option(int devindex, const char *title,
-               const char *subtitle, twin_pixmap_t *badge);
+                    const char *subtitle, twin_pixmap_t *badge, void *data);
 int pboot_remove_device(const char *dev_id);
 
-int pboot_start_device_discovery(void);
+int pboot_start_device_discovery(int udev_trigger);
+void pboot_exec_option(void *data);
+void pboot_message(const char *message);