57d56
< #if FULL_SYSTEM
59,61d57
< #else
< virtual void invoke(ThreadContext * tc);
< #endif