diff options
Diffstat (limited to 'src/sim/system.hh')
| -rw-r--r-- | src/sim/system.hh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/sim/system.hh b/src/sim/system.hh index c3667fe09..3954b35c2 100644 --- a/src/sim/system.hh +++ b/src/sim/system.hh @@ -551,6 +551,11 @@ class System : public MemObject // For futex system call std::map<uint64_t, std::list<ThreadContext *> * > futexMap; + static const int maxPID = 32768; + + /** Process set to track which PIDs have already been allocated */ + std::set<int> PIDs; + protected: /** |