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

Reply via email to