640,650c640,654
< const char *modeStr = "";
< if (mode == Execute)
< modeStr = "execute";
< else if (mode == Read)
< modeStr = "read";
< else if (mode == Write)
< modeStr = "write";
< else
< modeStr = "?";
< panic("Tried to %s unmapped address %#x.\n",
< modeStr, vaddr);
---
> if (req->isPrefetch()) {
> return new PageFault(vaddr, true, mode, true, false);
> } else {
> const char *modeStr = "";
> if (mode == Execute)
> modeStr = "execute";
> else if (mode == Read)
> modeStr = "read";
> else if (mode == Write)
> modeStr = "write";
> else
> modeStr = "?";
> panic("Tried to %s unmapped address %#x.\n",
> modeStr, vaddr);
> }