Rev 3862 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3862 | Rev 4130 | ||
|---|---|---|---|
| Line 459... | Line 459... | ||
| 459 | printf("Faulting page: %p, ASID=%d\n", va, tag.context); |
459 | printf("Faulting page: %p, ASID=%d\n", va, tag.context); |
| 460 | dump_istate(istate); |
460 | dump_istate(istate); |
| 461 | panic("%s\n", str); |
461 | panic("%s\n", str); |
| 462 | } |
462 | } |
| 463 | 463 | ||
| 464 | void describe_mmu_fault(void) |
464 | void describe_dmmu_fault(void) |
| 465 | { |
465 | { |
| 466 | tlb_sfsr_reg_t sfsr; |
466 | tlb_sfsr_reg_t sfsr; |
| 467 | uintptr_t sfar; |
467 | uintptr_t sfar; |
| 468 | 468 | ||
| 469 | sfsr.value = dtlb_sfsr_read(); |
469 | sfsr.value = dtlb_sfsr_read(); |