Ignore /dev/loop* devices
[petitboot] / petitboot.h
index 82251e41181698bae5fdb7cad80810622e5b2738..a77bfef7c864e2035e18f55824ce785ef94c7dd5 100644 (file)
@@ -12,6 +12,6 @@ int pboot_add_option(int devindex, const char *title,
                     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);