108,110c108,109
< phys_mem_size = 0
< for mem in system.memories.unproxy(system):
< phys_mem_size += long(mem.range.second) - long(mem.range.first) + 1
---
> phys_mem_size = sum(map(lambda mem: mem.range.size(),
> system.memories.unproxy(system)))