diff --git a/src/device/pci_device.c b/src/device/pci_device.c index 9036f53f3b..2c08ebc72e 100644 --- a/src/device/pci_device.c +++ b/src/device/pci_device.c @@ -9,6 +9,7 @@ #include #include #include +#include #include #include #include @@ -433,7 +434,7 @@ void pci_domain_read_resources(struct device *dev) /* Initialize the system-wide memory resources constraints. */ res = new_resource(dev, IOINDEX_SUBTRACTIVE(1, 0)); - res->limit = 0xffffffffULL; + res->limit = (1ULL << cpu_phys_address_size()) - 1; res->flags = IORESOURCE_MEM | IORESOURCE_SUBTRACTIVE | IORESOURCE_ASSIGNED; }