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