On 16 September 2013 18:18, Paolo Bonzini <pbonz...@redhat.com> wrote: > Il 16/09/2013 19:11, Marcel Apfelbaum ha scritto: >>> > memory_region_init_io(my_reg, owner, my_ops, my_obj, "my region", >>> > INT64_MAX); > > This is 2^63-1, not 2^64-1. You need UINT64_MAX here.
So does this mean address_space_init()'s base memory region has to be 2^64-1 (could we assert that?) or should this have worked anyway? -- PMM