Rev 1258 | Rev 1411 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1258 | Rev 1288 | ||
|---|---|---|---|
| Line 142... | Line 142... | ||
| 142 | void page_fault(int n, istate_t *istate) |
142 | void page_fault(int n, istate_t *istate) |
| 143 | { |
143 | { |
| 144 | __address page; |
144 | __address page; |
| 145 | 145 | ||
| 146 | page = read_cr2(); |
146 | page = read_cr2(); |
| 147 | if (!as_page_fault(page)) { |
147 | if (as_page_fault(page, istate) == AS_PF_FAULT) { |
| 148 | PRINT_INFO_ERRCODE(istate); |
148 | PRINT_INFO_ERRCODE(istate); |
| 149 | printf("page fault address: %#x\n", page); |
149 | printf("page fault address: %#x\n", page); |
| 150 | panic("page fault\n"); |
150 | panic("page fault\n"); |
| 151 | } |
151 | } |
| 152 | } |
152 | } |