page_table.cc (5877:9fe574944f31) page_table.cc (6227:a17798f2a52c)
1/*
2 * Copyright (c) 2003 The Regents of The University of Michigan
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions are
7 * met: redistributions of source code must retain the above copyright
8 * notice, this list of conditions and the following disclaimer;

--- 175 unchanged lines hidden (view full) ---

184 return NoFault;
185}
186
187void
188PageTable::serialize(std::ostream &os)
189{
190 paramOut(os, "ptable.size", pTable.size());
191
1/*
2 * Copyright (c) 2003 The Regents of The University of Michigan
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions are
7 * met: redistributions of source code must retain the above copyright
8 * notice, this list of conditions and the following disclaimer;

--- 175 unchanged lines hidden (view full) ---

184 return NoFault;
185}
186
187void
188PageTable::serialize(std::ostream &os)
189{
190 paramOut(os, "ptable.size", pTable.size());
191
192 int count = 0;
192 PTable::size_type count = 0;
193
194 PTableItr iter = pTable.begin();
195 PTableItr end = pTable.end();
196 while (iter != end) {
197 os << "\n[" << csprintf("%s.Entry%d", process->name(), count) << "]\n";
198
199 paramOut(os, "vaddr", iter->first);
200 iter->second.serialize(os);

--- 26 unchanged lines hidden --- 		193
194 PTableItr iter = pTable.begin();
195 PTableItr end = pTable.end();
196 while (iter != end) {
197 os << "\n[" << csprintf("%s.Entry%d", process->name(), count) << "]\n";
198
199 paramOut(os, "vaddr", iter->first);
200 iter->second.serialize(os);

--- 26 unchanged lines hidden ---