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 |