51d50
< void m5exit_old(ThreadContext *tc);
62,63d60
< void anBegin(ThreadContext *tc, uint64_t cur);
< void anWait(ThreadContext *tc, uint64_t cur, uint64_t wait);