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