FreeBSD: for 64-bit BARs, skip the resource slot used for the upper 32 bits.

This gets us the same resource numbering as on Linux.

1 files changed, 3 insertions, 2 deletions

diff --git a/src/freebsd_pci.c b/src/freebsd_pci.c
index bf41f63..0c7cf61 100644
--- a/src/freebsd_pci.c
+++ b/src/freebsd_pci.c
@@ -397,9 +397,10 @@ pci_device_freebsd_probe( struct pci_device * dev )
     bar = 0x10;
     for (i = 0; i < pci_device_freebsd_get_num_regions( dev ); i++) {
 	pci_device_freebsd_get_region_info( dev, i, bar );
-	if (dev->regions[i].is_64)
+	if (dev->regions[i].is_64) {
 	    bar += 0x08;
-	else
+	    i++;
+	} else
 	    bar += 0x04;
     }