134,135c134
< 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))