diff --git a/sys/dev/pci/pci_user.c b/sys/dev/pci/pci_user.c
index ecfa2e293c3b..f5a921a75ff1 100644
--- a/sys/dev/pci/pci_user.c
+++ b/sys/dev/pci/pci_user.c
@@ -711,7 +711,7 @@ pci_ioctl(struct cdev *dev, u_long cmd, caddr_t data, int flag, struct thread *t
 		for (cio->num_matches = 0, error = 0, i = 0,
 				 dinfo = STAILQ_FIRST(devlist_head);
 		     (dinfo != NULL) && (cio->num_matches < ionum) &&
-				 (error == 0) && (i < pci_numdevs));
+				 (error == 0) && (i < pci_numdevs);
 		     dinfo = STAILQ_NEXT(dinfo, pci_links), i++) {
 
 			if (i < cio->offset)