174,175c174,175
< dest->getITBPtr()->invalidateMiscReg();
< dest->getDTBPtr()->invalidateMiscReg();
---
> dynamic_cast<TLB *>(dest->getITBPtr())->invalidateMiscReg();
> dynamic_cast<TLB *>(dest->getDTBPtr())->invalidateMiscReg();