356,357c356,363
< if (fault != NoFault)
< return fault;
---
> if (fault != NoFault) {
> if (req->isPrefetch()) {
> return NoFault;
> } else {
> return fault;
> }
> }
>
534c540,544
< return fault;
---
> if (fault != NoFault && req->isPrefetch()) {
> return NoFault;
> } else {
> return fault;
> }