158,161c158,160
<
< 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)))