283d282
< #if FULL_SYSTEM
285a285
> #if FULL_SYSTEM
292c292
< tc->suspend();
---
> tc->suspend(0);
294,295d293
< }
<
297,299d294
<
< void startupCPU(ThreadContext *tc, int cpuId)
< {
300a296
> #endif
303,304d298
< #endif
<