Rev 1952 | Rev 2071 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1952 | Rev 1959 | ||
---|---|---|---|
Line 74... | Line 74... | ||
74 | access = PF_ACCESS_READ; |
74 | access = PF_ACCESS_READ; |
75 | 75 | ||
76 | if (as_page_fault(page, access, istate) == AS_PF_FAULT) { |
76 | if (as_page_fault(page, access, istate) == AS_PF_FAULT) { |
77 | fault_if_from_uspace(istate, "Page fault: %#x", page); |
77 | fault_if_from_uspace(istate, "Page fault: %#x", page); |
78 | 78 | ||
79 | PRINT_INFO_ERRCODE(istate); |
79 | decode_istate(istate); |
80 | printf("page fault address: %#x\n", page); |
80 | printf("page fault address: %#x\n", page); |
81 | panic("page fault\n"); |
81 | panic("page fault\n"); |
82 | } |
82 | } |
83 | } |
83 | } |
84 | 84 |