On 4 January 2012 22:09, Anthony Liguori<address@hidden> wrote:
target_phys_addr_t should exist IMHO in the device model code.
(I assume "should not" ?)
I think it
would be more useful to introduce a hw_addr, fix it at u64, make the device
model and memory API use that, and then make it so we didn't do the
silliness around libhw32/libhw64.
A lot of the usage of target_phys_addr_t in hw/ is actually not
handling addresses at all, but merely offsets into device IO regions
(ie as parameters to device read/write functions)...