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 | } |