Rev 1212 | Rev 1382 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1212 | Rev 1288 | ||
---|---|---|---|
Line 164... | Line 164... | ||
164 | void page_fault(int n, istate_t *istate) |
164 | void page_fault(int n, istate_t *istate) |
165 | { |
165 | { |
166 | __address page; |
166 | __address page; |
167 | 167 | ||
168 | page = read_cr2(); |
168 | page = read_cr2(); |
169 | if (!as_page_fault(page)) { |
169 | if (as_page_fault(page, istate) == AS_PF_FAULT) { |
170 | print_info_errcode(n, istate); |
170 | print_info_errcode(n, istate); |
171 | printf("Page fault address: %llX\n", page); |
171 | printf("Page fault address: %llX\n", page); |
172 | panic("page fault\n"); |
172 | panic("page fault\n"); |
173 | } |
173 | } |
174 | } |
174 | } |