efi_loader: debug output installed device path

[u-boot] / include / efi_loader.h

diff --git a/include/efi_loader.h b/include/efi_loader.h
index 637e6e166dec1fb378d46c6e382c330ab751b960..419832923044ccfacfea6604ba1e3c7168e1decb 100644 (file)
--- a/include/efi_loader.h
+++ b/include/efi_loader.h
@@ -69,10 +69,11 @@ const char *__efi_nesting_dec(void);
        } while(0)
 
 /*
- * Write GUID
+ * Write an indented message with EFI prefix
  */
-#define EFI_PRINT_GUID(txt, guid) ({ \
-       debug("%sEFI: %s %pUl\n", __efi_nesting(), txt, guid); \
+#define EFI_PRINT(format, ...) ({ \
+       debug("%sEFI: " format, __efi_nesting(), \
+               ##__VA_ARGS__); \
        })
 
 extern struct efi_runtime_services efi_runtime_services;