329,333d328
< * Possibly Remove Thread Context from CPU.
< */
< void deallocateContext(ThreadID tid, bool remove);
<
< /** Remove Thread from Active Threads List &&