133c133
< return genMachineCheckFault();
---
> return genPageTableFault(req->getVaddr());