Index: uspace/drv/bus/usb/ehci/res.c
===================================================================
--- uspace/drv/bus/usb/ehci/res.c	(revision 6e5369b3ead68a8654c28597576b872561cfb704)
+++ uspace/drv/bus/usb/ehci/res.c	(revision f3378ba994792df869e91f5cc6d510de0e96b03f)
@@ -237,4 +237,5 @@
 {
 	assert(device);
+	usb_log_debug("Disabling EHCI legacy support.\n");
 
 #define CHECK_RET_RETURN(ret, message...) \
@@ -249,4 +250,6 @@
 	CHECK_RET_RETURN(ret, "Failed to map registers %p: %s.\n",
 	    (void *) reg_base, str_error(ret));
+
+	usb_log_debug2("Registers mapped at: %p.\n", regs);
 
 	const uint32_t hcc_params =
@@ -286,6 +289,6 @@
 	if (*usbcmd & USBCMD_RUN) {
 		*usbsts = 0x3f; /* ack all interrupts */
-		*usbint = 0; /* disable all interrutps */
-		*usbconf = 0; /* relase control of RH ports */
+		*usbint = 0; /* disable all interrupts */
+		*usbconf = 0; /* release control of RH ports */
 
 		*usbcmd = 0;
@@ -297,9 +300,9 @@
 	}
 	usb_log_debug("Registers: \n"
-	    "\t USBCMD: %x(0x00080000 = at least 1ms between interrupts)\n"
-	    "\t USBSTS: %x(0x00001000 = HC halted)\n"
-	    "\t USBINT: %x(0x0 = no interrupts).\n"
-	    "\t CONFIG: %x(0x0 = ports controlled by companion hc).\n",
-	    *usbcmd, *usbsts, *usbint, *usbconf);
+	    "\t USBCMD(%p): %x(0x00080000 = at least 1ms between interrupts)\n"
+	    "\t USBSTS(%p): %x(0x00001000 = HC halted)\n"
+	    "\t USBINT(%p): %x(0x0 = no interrupts).\n"
+	    "\t CONFIG(%p): %x(0x0 = ports controlled by companion hc).\n",
+	    usbcmd, *usbcmd, usbsts, *usbsts, usbint, *usbint, usbconf,*usbconf);
 
 	return ret;