Rev 3672 | Rev 3790 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3672 | Rev 3788 | ||
|---|---|---|---|
| Line 422... | Line 422... | ||
| 422 | #endif |
422 | #endif |
| 423 | 423 | ||
| 424 | void do_fast_instruction_access_mmu_miss_fault(istate_t *istate, |
424 | void do_fast_instruction_access_mmu_miss_fault(istate_t *istate, |
| 425 | const char *str) |
425 | const char *str) |
| 426 | { |
426 | { |
| 427 | fault_if_from_uspace(istate, "%s\n", str); |
427 | fault_if_from_uspace(istate, "%s", str); |
| 428 | dump_istate(istate); |
428 | dump_istate(istate); |
| 429 | panic("%s\n", str); |
429 | panic("%s\n", str); |
| 430 | } |
430 | } |
| 431 | 431 | ||
| 432 | void do_fast_data_access_mmu_miss_fault(istate_t *istate, |
432 | void do_fast_data_access_mmu_miss_fault(istate_t *istate, |
| Line 434... | Line 434... | ||
| 434 | { |
434 | { |
| 435 | uintptr_t va; |
435 | uintptr_t va; |
| 436 | 436 | ||
| 437 | va = tag.vpn << MMU_PAGE_WIDTH; |
437 | va = tag.vpn << MMU_PAGE_WIDTH; |
| 438 | if (tag.context) { |
438 | if (tag.context) { |
| 439 | fault_if_from_uspace(istate, "%s, Page=%p (ASID=%d)\n", str, va, |
439 | fault_if_from_uspace(istate, "%s, Page=%p (ASID=%d)", str, va, |
| 440 | tag.context); |
440 | tag.context); |
| 441 | } |
441 | } |
| 442 | dump_istate(istate); |
442 | dump_istate(istate); |
| 443 | printf("Faulting page: %p, ASID=%d\n", va, tag.context); |
443 | printf("Faulting page: %p, ASID=%d\n", va, tag.context); |
| 444 | panic("%s\n", str); |
444 | panic("%s\n", str); |
| Line 450... | Line 450... | ||
| 450 | uintptr_t va; |
450 | uintptr_t va; |
| 451 | 451 | ||
| 452 | va = tag.vpn << MMU_PAGE_WIDTH; |
452 | va = tag.vpn << MMU_PAGE_WIDTH; |
| 453 | 453 | ||
| 454 | if (tag.context) { |
454 | if (tag.context) { |
| 455 | fault_if_from_uspace(istate, "%s, Page=%p (ASID=%d)\n", str, va, |
455 | fault_if_from_uspace(istate, "%s, Page=%p (ASID=%d)", str, va, |
| 456 | tag.context); |
456 | tag.context); |
| 457 | } |
457 | } |
| 458 | printf("Faulting page: %p, ASID=%d\n", va, tag.context); |
458 | printf("Faulting page: %p, ASID=%d\n", va, tag.context); |
| 459 | dump_istate(istate); |
459 | dump_istate(istate); |
| 460 | panic("%s\n", str); |
460 | panic("%s\n", str); |