diff options
| -rw-r--r-- | hw/device-assignment.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/hw/device-assignment.c b/hw/device-assignment.c index 9ad5de56a..077d81e9a 100644 --- a/hw/device-assignment.c +++ b/hw/device-assignment.c @@ -430,10 +430,11 @@ static int assigned_dev_register_regions(PCIRegion *io_regions, ret); abort(); } else if (errno != EINVAL) { - fprintf(stderr, - "Kernel doesn't support ioport resource access.\n"); + fprintf(stderr, "Kernel doesn't support ioport resource " + "access, hiding this region.\n"); close(pci_dev->v_addrs[i].region->resource_fd); - return -1; + cur_region->valid = 0; + continue; } pci_dev->v_addrs[i].u.r_baseport = cur_region->base_addr; |