Rev 2745 | Rev 3790 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2745 | Rev 3788 | ||
---|---|---|---|
Line 192... | Line 192... | ||
192 | if (as_page_fault(page, access, istate) == AS_PF_FAULT) { |
192 | if (as_page_fault(page, access, istate) == AS_PF_FAULT) { |
193 | fault_if_from_uspace(istate, "Page fault: %#x", page); |
193 | fault_if_from_uspace(istate, "Page fault: %#x", page); |
194 | 194 | ||
195 | decode_istate(n, istate); |
195 | decode_istate(n, istate); |
196 | printf("Page fault address: %llx\n", page); |
196 | printf("Page fault address: %llx\n", page); |
197 | panic("page fault\n"); |
197 | panic("Page fault\n"); |
198 | } |
198 | } |
199 | } |
199 | } |
200 | 200 | ||
201 | 201 | ||
202 | uintptr_t hw_map(uintptr_t physaddr, size_t size) |
202 | uintptr_t hw_map(uintptr_t physaddr, size_t size) |