159,160c159
< phys_mem_size = sum(map(lambda mem: mem.range.size(),
< system.memories.unproxy(system)))
---
> phys_mem_size = sum(map(lambda r: r.size(), system.mem_ranges))