diff options
Diffstat (limited to 'src/mem/page_table.hh')
| -rw-r--r-- | src/mem/page_table.hh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/mem/page_table.hh b/src/mem/page_table.hh index 447d3a50f..03e18c2d0 100644 --- a/src/mem/page_table.hh +++ b/src/mem/page_table.hh @@ -75,7 +75,7 @@ class EmulationPageTable : public Serializable EmulationPageTable( const std::string &__name, uint64_t _pid, Addr _pageSize) : pageSize(_pageSize), offsetMask(mask(floorLog2(_pageSize))), - _pid(_pid), _name(__name) + _pid(_pid), _name(__name), shared(false) { assert(isPowerOf2(pageSize)); } @@ -96,6 +96,9 @@ class EmulationPageTable : public Serializable ReadOnly = 8, }; + // flag which marks the page table as shared among software threads + bool shared; + virtual void initState(ThreadContext* tc) {}; // for DPRINTF compatibility |