Ignore /dev/loop* devices
[petitboot] / petitboot.h
index e9102df9504ee42f5fdab2f0d8fb7b0d9eb78482..a77bfef7c864e2035e18f55824ce785ef94c7dd5 100644 (file)
@@ -14,3 +14,4 @@ int pboot_remove_device(const char *dev_id);
 
 int pboot_start_device_discovery(int udev_trigger);
 void pboot_exec_option(void *data);
+void pboot_message(const char *message);