642,644c642,644
< // Set inSyscall so that the CPU doesn't squash when initially
< // setting up registers.
< for (ThreadID tid = 0; tid < numThreads; ++tid)
---
> for (ThreadID tid = 0; tid < numThreads; ++tid) {
> // Set inSyscall so that the CPU doesn't squash when initially
> // setting up registers.
645a646,648
> // Initialise the ThreadContext's memory proxies
> thread[tid]->initMemProxies(thread[tid]->getTC());
> }
658,659d660
< // Initialise the ThreadContext's memory proxies
< thread[tid]->initMemProxies(thread[tid]->getTC());