3 files changed, 6 insertions, 0 deletions
diff --git a/src/interface/efi/efi_driver.c b/src/interface/efi/efi_driver.c
index c67d6d65..715ec38b 100644
--- a/src/interface/efi/efi_driver.c
+++ b/src/interface/efi/efi_driver.c
@@ -137,6 +137,8 @@ int efidev_child_add ( struct efi_device *efidev, EFI_HANDLE device ) {
 		       efidev->device, efi_handle_name ( efidev->device ) );
 		DBGC ( efidev->device, " %p %s: %s\n", device,
 		       efi_handle_name ( device ), strerror ( rc ) );
+		DBGC_EFI_OPENERS ( efidev->device, efidev->device,
+				   &efi_device_path_protocol_guid );
 		return rc;
 	}
 
@@ -264,6 +266,8 @@ efi_driver_start ( EFI_DRIVER_BINDING_PROTOCOL *driver __unused,
 		DBGC ( device, "EFIDRV %p %s could not open device path: %s\n",
 		       device, efi_handle_name ( device ),
 		       strerror ( rc ) );
+		DBGC_EFI_OPENERS ( device, device,
+				   &efi_device_path_protocol_guid );
 		goto err_no_device_path;
 	}
 	efidev->path = devpath.devpath;
diff --git a/src/interface/efi/efi_file.c b/src/interface/efi/efi_file.c
index aafc781a..06049fc9 100644
--- a/src/interface/efi/efi_file.c
+++ b/src/interface/efi/efi_file.c
@@ -631,6 +631,7 @@ int efi_file_install ( EFI_HANDLE handle ) {
 		rc = -EEFI ( efirc );
 		DBGC ( handle, "Could not open disk I/O protocol: %s\n",
 		       strerror ( rc ) );
+		DBGC_EFI_OPENERS ( handle, handle, &efi_disk_io_protocol_guid );
 		goto err_open;
 	}
 	assert ( diskio.diskio == &efi_disk_io_protocol );
diff --git a/src/interface/efi/efi_pci.c b/src/interface/efi/efi_pci.c
index 1cd4e63b..785ed891 100644
--- a/src/interface/efi/efi_pci.c
+++ b/src/interface/efi/efi_pci.c
@@ -292,6 +292,7 @@ static int efipci_start ( struct efi_device *efidev ) {
 				  pci ) ) != 0 ) {
 		DBGC ( device, "EFIPCI %p %s could not open PCI device: %s\n",
 		       device, efi_handle_name ( device ), strerror ( rc ) );
+		DBGC_EFI_OPENERS ( device, device, &efi_pci_io_protocol_guid );
 		goto err_open;
 	}