75c75,76
< Walker *walker = context->getDTBPtr()->getWalker();
---
> Walker *walker = dynamic_cast<TLB *>(
> context->getDTBPtr())->getWalker();