164c164,166
< ntc->getMemProxy().setPageTable(np->pTable);
---
> auto &proxy = dynamic_cast<SETranslatingPortProxy &>(
> ntc->getMemProxy());
> proxy.setPageTable(np->pTable);