|  | @@ -490,9 +490,15 @@ static int efi_driver_connect ( EFI_HANDLE device ) {
 | 
		
	
		
			
			| 490 | 490 |  	}
 | 
		
	
		
			
			| 491 | 491 |  
 | 
		
	
		
			
			| 492 | 492 |  	/* Disconnect any existing drivers */
 | 
		
	
		
			
			|  | 493 | +	DBGC2 ( device, "EFIDRV %p %s before disconnecting:\n",
 | 
		
	
		
			
			|  | 494 | +		device, efi_handle_name ( device ) );
 | 
		
	
		
			
			|  | 495 | +	DBGC2_EFI_PROTOCOLS ( device, device );
 | 
		
	
		
			
			| 493 | 496 |  	DBGC ( device, "EFIDRV %p %s disconnecting existing drivers\n",
 | 
		
	
		
			
			| 494 | 497 |  	       device, efi_handle_name ( device ) );
 | 
		
	
		
			
			| 495 | 498 |  	bs->DisconnectController ( device, NULL, NULL );
 | 
		
	
		
			
			|  | 499 | +	DBGC2 ( device, "EFIDRV %p %s after disconnecting:\n",
 | 
		
	
		
			
			|  | 500 | +		device, efi_handle_name ( device ) );
 | 
		
	
		
			
			|  | 501 | +	DBGC2_EFI_PROTOCOLS ( device, device );
 | 
		
	
		
			
			| 496 | 502 |  
 | 
		
	
		
			
			| 497 | 503 |  	/* Connect our driver */
 | 
		
	
		
			
			| 498 | 504 |  	DBGC ( device, "EFIDRV %p %s connecting new drivers\n",
 | 
		
	
	
		
			
			|  | @@ -505,6 +511,9 @@ static int efi_driver_connect ( EFI_HANDLE device ) {
 | 
		
	
		
			
			| 505 | 511 |  		       strerror ( rc ) );
 | 
		
	
		
			
			| 506 | 512 |  		return rc;
 | 
		
	
		
			
			| 507 | 513 |  	}
 | 
		
	
		
			
			|  | 514 | +	DBGC2 ( device, "EFIDRV %p %s after connecting:\n",
 | 
		
	
		
			
			|  | 515 | +		device, efi_handle_name ( device ) );
 | 
		
	
		
			
			|  | 516 | +	DBGC2_EFI_PROTOCOLS ( device, device );
 | 
		
	
		
			
			| 508 | 517 |  
 | 
		
	
		
			
			| 509 | 518 |  	return 0;
 | 
		
	
		
			
			| 510 | 519 |  }
 |