# Pastebin kUHQSI80
diff --git a/common/bootm.c b/common/bootm.c
index 4482f84b40a2..8468abff9fe2 100644
--- a/common/bootm.c
+++ b/common/bootm.c
@@ -441,6 +441,7 @@ ulong bootm_disable_interrupts(void)
 {
 	ulong iflag;
 
+	printf("%s:%d\n", __func__, __LINE__);
 	/*
 	 * We have reached the point of no return: we are going to
 	 * overwrite all exception vector code, so we cannot easily
@@ -465,7 +466,9 @@ ulong bootm_disable_interrupts(void)
 	 * updated every 1 ms within the HCCA structure in SDRAM! For more
 	 * details see the OpenHCI specification.
 	 */
+	printf("%s:%d\n", __func__, __LINE__);
 	usb_stop();
+	printf("%s:%d\n", __func__, __LINE__);
 #endif
 	return iflag;
 }
diff --git a/drivers/usb/host/usb-uclass.c b/drivers/usb/host/usb-uclass.c
index fd39c3345c31..f2d696a258ba 100644
--- a/drivers/usb/host/usb-uclass.c
+++ b/drivers/usb/host/usb-uclass.c
@@ -181,14 +181,17 @@ int usb_stop(void)
 	struct usb_uclass_priv *uc_priv;
 	int err = 0, ret;
 
+	printf("%s:%d\n", __func__, __LINE__);
 	/* De-activate any devices that have been activated */
 	ret = uclass_get(UCLASS_USB, &uc);
 	if (ret)
 		return ret;
+	printf("%s:%d\n", __func__, __LINE__);
 
 	uc_priv = uclass_get_priv(uc);
 
 	uclass_foreach_dev(bus, uc) {
+		printf("%s:%d\n", __func__, __LINE__);
 		ret = device_remove(bus, DM_REMOVE_NORMAL);
 		if (ret && !err)
 			err = ret;
@@ -196,6 +199,7 @@ int usb_stop(void)
 		/* Locate root hub device */
 		device_find_first_child(bus, &rh);
 		if (rh) {
+			printf("%s:%d\n", __func__, __LINE__);
 			/*
 			 * All USB devices are children of root hub.
 			 * Unbinding root hub will unbind all of its children.
@@ -205,12 +209,15 @@ int usb_stop(void)
 				err = ret;
 		}
 	}
+	printf("%s:%d\n", __func__, __LINE__);
 
 #ifdef CONFIG_USB_STORAGE
+	printf("%s:%d\n", __func__, __LINE__);
 	usb_stor_reset();
 #endif
 	uc_priv->companion_device_count = 0;
 	usb_started = 0;
+	printf("%s:%d (err: %d)\n", __func__, __LINE__, err);
 
 	return err;
 }
diff --git a/lib/efi_loader/efi_boottime.c b/lib/efi_loader/efi_boottime.c
index 1823990d9bd5..422cfca789c0 100644
--- a/lib/efi_loader/efi_boottime.c
+++ b/lib/efi_loader/efi_boottime.c
@@ -2113,6 +2113,7 @@ static efi_status_t EFIAPI efi_exit_boot_services(efi_handle_t image_handle,
 
 	EFI_ENTRY("%p, %zx", image_handle, map_key);
 
+	printf("%s:%d\n", __func__, __LINE__);
 	/* Check that the caller has read the current memory map */
 	if (map_key != efi_memory_map_key) {
 		ret = EFI_INVALID_PARAMETER;