diff options
Diffstat (limited to 'debian/patches/memory-range.diff')
| -rw-r--r-- | debian/patches/memory-range.diff | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/debian/patches/memory-range.diff b/debian/patches/memory-range.diff index f9492e9c..d9abcbbf 100644 --- a/debian/patches/memory-range.diff +++ b/debian/patches/memory-range.diff @@ -5,13 +5,13 @@ --- a/pci-userspace/src-gnu/pci_user-gnu.c +++ b/pci-userspace/src-gnu/pci_user-gnu.c @@ -138,6 +142,7 @@ pci_userspace_init(void) - int i = 0; - while (((pci_dev = pci_device_next (dev_iter)) != NULL) - && (i < NUMDEVS)) { -+ pci_device_probe(pci_dev); - pci_devices[i++] = pci_dev; - } - numdevs = i; + int i = 0; + while (((pci_dev = pci_device_next (dev_iter)) != NULL) + && (i < NUMDEVS)) { ++ pci_device_probe(pci_dev); + pci_devices[i++] = pci_dev; + } + numdevs = i; @@ -170,7 +170,8 @@ rumpcomp_pci_map(unsigned long addr, uns found: |