|  | @@ -137,6 +137,8 @@ int efidev_child_add ( struct efi_device *efidev, EFI_HANDLE device ) {
 | 
		
	
		
			
			| 137 | 137 |  		       efidev->device, efi_handle_name ( efidev->device ) );
 | 
		
	
		
			
			| 138 | 138 |  		DBGC ( efidev->device, " %p %s: %s\n", device,
 | 
		
	
		
			
			| 139 | 139 |  		       efi_handle_name ( device ), strerror ( rc ) );
 | 
		
	
		
			
			|  | 140 | +		DBGC_EFI_OPENERS ( efidev->device, efidev->device,
 | 
		
	
		
			
			|  | 141 | +				   &efi_device_path_protocol_guid );
 | 
		
	
		
			
			| 140 | 142 |  		return rc;
 | 
		
	
		
			
			| 141 | 143 |  	}
 | 
		
	
		
			
			| 142 | 144 |  
 | 
		
	
	
		
			
			|  | @@ -264,6 +266,8 @@ efi_driver_start ( EFI_DRIVER_BINDING_PROTOCOL *driver __unused,
 | 
		
	
		
			
			| 264 | 266 |  		DBGC ( device, "EFIDRV %p %s could not open device path: %s\n",
 | 
		
	
		
			
			| 265 | 267 |  		       device, efi_handle_name ( device ),
 | 
		
	
		
			
			| 266 | 268 |  		       strerror ( rc ) );
 | 
		
	
		
			
			|  | 269 | +		DBGC_EFI_OPENERS ( device, device,
 | 
		
	
		
			
			|  | 270 | +				   &efi_device_path_protocol_guid );
 | 
		
	
		
			
			| 267 | 271 |  		goto err_no_device_path;
 | 
		
	
		
			
			| 268 | 272 |  	}
 | 
		
	
		
			
			| 269 | 273 |  	efidev->path = devpath.devpath;
 |