Rev 1888 | Rev 2071 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1888 | Rev 1956 | ||
|---|---|---|---|
| Line 109... | Line 109... | ||
| 109 | access = PF_ACCESS_READ; |
109 | access = PF_ACCESS_READ; |
| 110 | 110 | ||
| 111 | if (as_page_fault(page, access, istate) == AS_PF_FAULT) { |
111 | if (as_page_fault(page, access, istate) == AS_PF_FAULT) { |
| 112 | fault_if_from_uspace(istate, "Page fault: %#x", page); |
112 | fault_if_from_uspace(istate, "Page fault: %#x", page); |
| 113 | 113 | ||
| 114 | PRINT_INFO_ERRCODE(istate); |
114 | decode_istate(istate); |
| 115 | printf("page fault address: %#x\n", page); |
115 | printf("page fault address: %#x\n", page); |
| 116 | panic("page fault\n"); |
116 | panic("page fault\n"); |
| 117 | } |
117 | } |
| 118 | } |
118 | } |
| 119 | 119 | ||