On Wed, Jul 20, 2011 at 9:50 AM, Avi Kivity <a...@redhat.com> wrote:
[...]
> @@ -130,7 +137,13 @@ static void pc_init1(MemoryRegion *system_memory,
>
> if (pci_enabled) {
> pci_bus = i440fx_init(&i440fx_state, &piix3_devfn, isa_irq,
> - system_memory, system_io, ram_size);
> + system_memory, system_io, ram_size,
> + 0xe0000000, 0x1fe00000,
> + 0x100000000 + above_4g_mem_size,
> + (sizeof(target_phys_addr_t) == 32
sizeof(target_phys_addr_t) == 8 ?
> + ? 0
> + : ((uint64_t)1 << 63)),
> + pci_memory, ram_memory);
> } else {
> pci_bus = NULL;
> i440fx_state = NULL;
