635c635
< if(!success && mode != Execute) {
---
> if (!success && mode != Execute) {
639,640c639,650
< if(!success) {
< panic("Tried to execute unmapped address %#x.\n", vaddr);
---
> if (!success) {
> 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);