diff options
author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2020-11-15 15:23:01 +0000 |
---|---|---|
committer | Damien Zammit <damien@zamaudio.com> | 2023-06-23 23:55:55 +1000 |
commit | 9ba52ffca19ef349c3bb8a3d243fc8d299f3ab99 (patch) | |
tree | 7c2df60caf54fc4695d9420409cde0cc323e427a | |
parent | 93010e086a367ab8d2e94c8bc5dede07ae54e568 (diff) |
refresh patch
-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: |