80c80
< std::vector<ThreadContext *> threadContexts;
---
> std::vector<int> contextIds;
88c88
< unsigned int numCpus() { return threadContexts.size(); }
---
> unsigned int numCpus() { return contextIds.size(); }
190,192c190,195
< // register a thread context for this process.
< // returns tc's cpu number (index into threadContexts[])
< int registerThreadContext(ThreadContext *tc);
---
> // After getting registered with system object, tell process which
> // system-wide context id it is assigned.
> void assignThreadContext(int context_id)
> {
> contextIds.push_back(context_id);
> }
193a197,198
> // Find a free context to use
> ThreadContext * findFreeContext();
195,196d199
< void replaceThreadContext(ThreadContext *tc, int tcIndex);
<