diff --git a/lib/syslib/pci_first_dev.c b/lib/syslib/pci_first_dev.c
index a6befe8a6..b1c408efb 100644
--- a/lib/syslib/pci_first_dev.c
+++ b/lib/syslib/pci_first_dev.c
@@ -32,6 +32,8 @@ u16_t *didp;
 	if (m.m_type != 0)
 		panic("pci", "pci_first_dev: got bad reply from PCI", m.m_type);
 
+#if DEBUG
 	printf("pci_first_dev: got nothing\n");
+#endif
 	return 0;
 }