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 |