From 9ba52ffca19ef349c3bb8a3d243fc8d299f3ab99 Mon Sep 17 00:00:00 2001 From: Samuel Thibault Date: Sun, 15 Nov 2020 15:23:01 +0000 Subject: refresh patch --- debian/patches/memory-range.diff | 14 +++++++------- 1 file 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: -- cgit v1.2.3