diff --git a/src/add-ons/kernel/busses/usb/ehci.cpp b/src/add-ons/kernel/busses/usb/ehci.cpp
index d857e02a90..cec3fbb957 100644
--- a/src/add-ons/kernel/busses/usb/ehci.cpp
+++ b/src/add-ons/kernel/busses/usb/ehci.cpp
@@ -459,7 +459,8 @@ EHCI::EHCI(pci_info *info, Stack *stack)
 		}
 
 		if (fIRQ == 0 || fIRQ == 0xFF) {
-			TRACE_MODULE_ERROR("device was assigned an invalid IRQ\n");
+			TRACE_MODULE_ERROR("device PCI:%d:%d:%d was assigned an invalid IRQ\n",
+				fPCIInfo->bus, fPCIInfo->device, fPCIInfo->function);
 			return;
 		}
 
diff --git a/src/add-ons/kernel/busses/usb/ohci.cpp b/src/add-ons/kernel/busses/usb/ohci.cpp
index 6b706b1b40..d10cb99fa6 100644
--- a/src/add-ons/kernel/busses/usb/ohci.cpp
+++ b/src/add-ons/kernel/busses/usb/ohci.cpp
@@ -433,7 +433,8 @@ OHCI::OHCI(pci_info *info, Stack *stack)
 	}
 
 	if (fIRQ == 0 || fIRQ == 0xFF) {
-		TRACE_MODULE_ERROR("device was assigned an invalid IRQ\n");
+		TRACE_MODULE_ERROR("device PCI:%d:%d:%d was assigned an invalid IRQ\n",
+			fPCIInfo->bus, fPCIInfo->device, fPCIInfo->function);
 		return;
 	}
 
diff --git a/src/add-ons/kernel/busses/usb/uhci.cpp b/src/add-ons/kernel/busses/usb/uhci.cpp
index bbb59f6d89..798dd60d81 100644
--- a/src/add-ons/kernel/busses/usb/uhci.cpp
+++ b/src/add-ons/kernel/busses/usb/uhci.cpp
@@ -349,8 +349,7 @@ UHCI::AddTo(Stack *stack)
 				get_module(B_PCI_X86_MODULE_NAME, (module_info **)&sPCIx86Module);
 
 			if (bus->InitCheck() < B_OK) {
-				TRACE_MODULE_ERROR("AddTo(): InitCheck() failed 0x%08" B_PRIx32
-					"\n", bus->InitCheck());
+				TRACE_MODULE_ERROR("bus failed init check\n");
 				delete bus;
 				continue;
 			}
@@ -578,7 +577,8 @@ UHCI::UHCI(pci_info *info, Stack *stack)
 	}
 
 	if (fIRQ == 0 || fIRQ == 0xFF) {
-		TRACE_MODULE_ERROR("device was assigned an invalid IRQ\n");
+		TRACE_MODULE_ERROR("device PCI:%d:%d:%d was assigned an invalid IRQ\n",
+			fPCIInfo->bus, fPCIInfo->device, fPCIInfo->function);
 		return;
 	}
 
diff --git a/src/add-ons/kernel/busses/usb/xhci.cpp b/src/add-ons/kernel/busses/usb/xhci.cpp
index d6f28aef2b..9b32457aaf 100644
--- a/src/add-ons/kernel/busses/usb/xhci.cpp
+++ b/src/add-ons/kernel/busses/usb/xhci.cpp
@@ -385,7 +385,8 @@ XHCI::XHCI(pci_info *info, Stack *stack)
 	}
 
 	if (fIRQ == 0 || fIRQ == 0xFF) {
-		TRACE_MODULE_ERROR("device was assigned an invalid IRQ\n");
+		TRACE_MODULE_ERROR("device PCI:%d:%d:%d was assigned an invalid IRQ\n",
+			fPCIInfo->bus, fPCIInfo->device, fPCIInfo->function);
 		return;
 	}