diff options
Diffstat (limited to 'src/mem/page_table.cc')
-rw-r--r-- | src/mem/page_table.cc | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/mem/page_table.cc b/src/mem/page_table.cc index 32da4282c..fa6d5ddfb 100644 --- a/src/mem/page_table.cc +++ b/src/mem/page_table.cc @@ -167,13 +167,14 @@ void PageTable::serialize(std::ostream &os) { paramOut(os, "ptable.size", pTable.size()); + int count = 0; m5::hash_map<Addr,Addr>::iterator iter; - while (iter != pTable.end()) { + m5::hash_map<Addr,Addr>::iterator end; + for (iter = pTable.begin(); iter != end; ++iter,++count) { paramOut(os, csprintf("ptable.entry%dvaddr", count),iter->first); paramOut(os, csprintf("ptable.entry%dpaddr", count),iter->second); - ++count; } assert(count == pTable.size()); } |