Rev 1411 | Rev 1705 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1411 | Rev 1595 | ||
---|---|---|---|
Line 101... | Line 101... | ||
101 | access = PF_ACCESS_WRITE; |
101 | access = PF_ACCESS_WRITE; |
102 | else |
102 | else |
103 | access = PF_ACCESS_READ; |
103 | access = PF_ACCESS_READ; |
104 | 104 | ||
105 | if (as_page_fault(page, access, istate) == AS_PF_FAULT) { |
105 | if (as_page_fault(page, access, istate) == AS_PF_FAULT) { |
- | 106 | fault_if_from_uspace(istate, "Page fault: %#x", page); |
|
- | 107 | ||
106 | PRINT_INFO_ERRCODE(istate); |
108 | PRINT_INFO_ERRCODE(istate); |
107 | printf("page fault address: %#x\n", page); |
109 | printf("page fault address: %#x\n", page); |
108 | panic("page fault\n"); |
110 | panic("page fault\n"); |
109 | } |
111 | } |
110 | } |
112 | } |