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