322a323,327
> /** Queue of requests that have passed are waiting because the walker is
> * currently busy. */
> std::list<WalkerState *> pendingQueue;;
>
>
333a339,341
> /** If a timing translation is currently in progress */
> bool pending;
>
364a373,375
> Fault processWalk();
> void processWalkWrapper();
> EventWrapper<TableWalker, &TableWalker::processWalkWrapper> doProcessEvent;
365a377
> void nextWalk(ThreadContext *tc);