38a39
> #include "arch/generic/debugfaults.hh"
437,438c438,440
< if (req->getPaddr() & ~PAddrImplMask)
< return genMachineCheckFault();
---
> if (req->getPaddr() & ~PAddrImplMask) {
> return new MachineCheckFault();
> }
565,566c567,569
< if (req->getPaddr() & ~PAddrImplMask)
< return genMachineCheckFault();
---
> if (req->getPaddr() & ~PAddrImplMask) {
> return new MachineCheckFault();
> }