Il 17/09/2013 10:29, Peter Maydell ha scritto: > 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?
No, it probably means that it must be page-aligned. It should have worked anyway, but I'm not 100% sure without looking more at the code. It's a somewhat obscure corner case. Paolo