Rev 2106 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2106 | Rev 3788 | ||
|---|---|---|---|
| Line 75... | Line 75... | ||
| 75 | 75 | ||
| 76 | if (as_page_fault(page, access, istate) == AS_PF_FAULT) { |
76 | if (as_page_fault(page, access, istate) == AS_PF_FAULT) { |
| 77 | fault_if_from_uspace(istate, "Page fault: %#x", page); |
77 | fault_if_from_uspace(istate, "Page fault: %#x", page); |
| 78 | 78 | ||
| 79 | decode_istate(istate); |
79 | decode_istate(istate); |
| 80 | printf("page fault address: %#x\n", page); |
80 | printf("Page fault address: %#x\n", page); |
| 81 | panic("page fault\n"); |
81 | panic("Page fault\n"); |
| 82 | } |
82 | } |
| 83 | } |
83 | } |
| 84 | 84 | ||
| 85 | /** @} |
85 | /** @} |
| 86 | */ |
86 | */ |