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. Paolo >> > memory_region_set_enabled(my_reg, false); >> > address_space_init(my_as, my_reg, name); >> > memory_region_set_enabled(my_reg, true);