@@ -3825,7 +3825,7 @@ static void io_mem_init(void)
static void memory_map_init(void)
{
system_memory = g_malloc(sizeof(*system_memory));
- memory_region_init(system_memory, "system", INT64_MAX);
+ memory_region_init(system_memory, "system", UINT64_MAX);
set_system_memory_map(system_memory);
system_io = g_malloc(sizeof(*system_io));
@@ -115,7 +115,7 @@ static void pc_init1(MemoryRegion *system_memory,
if (pci_enabled) {
pci_memory = g_new(MemoryRegion, 1);
- memory_region_init(pci_memory, "pci", INT64_MAX);
+ memory_region_init(pci_memory, "pci", UINT64_MAX);
rom_memory = pci_memory;
} else {
pci_memory = NULL;
@@ -319,7 +319,7 @@ int pci_bridge_initfn(PCIDevice *dev)
sec_bus->parent_dev = dev;
sec_bus->map_irq = br->map_irq;
sec_bus->address_space_mem = &br->address_space_mem;
- memory_region_init(&br->address_space_mem, "pci_pridge_pci", INT64_MAX);
+ memory_region_init(&br->address_space_mem, "pci_pridge_pci", UINT64_MAX);
sec_bus->address_space_io = &br->address_space_io;
memory_region_init(&br->address_space_io, "pci_bridge_io", 65536);
pci_bridge_region_init(br);
Now that the memory API supports full 64-bit buses, adjust the relevant callers to take advantage of it. Signed-off-by: Avi Kivity <avi@redhat.com> --- exec.c | 2 +- hw/pc_piix.c | 2 +- hw/pci_bridge.c | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-)