diff --git a/sys/compat/linuxkpi/common/src/linux_pci.c b/sys/compat/linuxkpi/common/src/linux_pci.c
index 825ebe319b1a..b547756a4568 100644
--- a/sys/compat/linuxkpi/common/src/linux_pci.c
+++ b/sys/compat/linuxkpi/common/src/linux_pci.c
@@ -1033,6 +1033,8 @@ pci_resource_start(struct pci_dev *pdev, int bar)
 		    (uintmax_t)rle->start, error);
 		return (0);
 	}
+	device_printf(pdev->dev.bsddev, "translate %#jx -> %#jx\n", rle->start,
+	    newstart);
 	return (newstart);
 }