Rev 1888 | Rev 2071 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1888 | Rev 1958 | ||
|---|---|---|---|
| Line 191... | Line 191... | ||
| 191 | access = PF_ACCESS_READ; |
191 | access = PF_ACCESS_READ; |
| 192 | 192 | ||
| 193 | if (as_page_fault(page, access, istate) == AS_PF_FAULT) { |
193 | if (as_page_fault(page, access, istate) == AS_PF_FAULT) { |
| 194 | fault_if_from_uspace(istate, "Page fault: %#x", page); |
194 | fault_if_from_uspace(istate, "Page fault: %#x", page); |
| 195 | 195 | ||
| 196 | print_info_errcode(n, istate); |
196 | decode_istate(n, istate); |
| 197 | printf("Page fault address: %llx\n", page); |
197 | printf("Page fault address: %llx\n", page); |
| 198 | panic("page fault\n"); |
198 | panic("page fault\n"); |
| 199 | } |
199 | } |
| 200 | } |
200 | } |
| 201 | 201 | ||