Rev 3094 | Rev 3790 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3094 | Rev 3788 | ||
|---|---|---|---|
| Line 187... | Line 187... | ||
| 187 | dprintf("page fault - pc: %x, va: %x, status: %x(%x), " |
187 | dprintf("page fault - pc: %x, va: %x, status: %x(%x), " |
| 188 | "access:%d\n", istate->pc, badvaddr, fsr.status, fsr, |
188 | "access:%d\n", istate->pc, badvaddr, fsr.status, fsr, |
| 189 | access); |
189 | access); |
| 190 | 190 | ||
| 191 | fault_if_from_uspace(istate, "Page fault: %#x", badvaddr); |
191 | fault_if_from_uspace(istate, "Page fault: %#x", badvaddr); |
| 192 | panic("page fault\n"); |
192 | panic("Page fault\n"); |
| 193 | } |
193 | } |
| 194 | } |
194 | } |
| 195 | 195 | ||
| 196 | /** Handles "prefetch abort" exception (instruction couldn't be executed). |
196 | /** Handles "prefetch abort" exception (instruction couldn't be executed). |
| 197 | * |
197 | * |