Rev 1080 | Rev 1210 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1080 | Rev 1104 | ||
---|---|---|---|
Line 436... | Line 436... | ||
436 | /* |
436 | /* |
437 | * Forward the page fault to address space page fault handler. |
437 | * Forward the page fault to address space page fault handler. |
438 | */ |
438 | */ |
439 | page_table_unlock(AS, true); |
439 | page_table_unlock(AS, true); |
440 | if (!as_page_fault(va)) { |
440 | if (!as_page_fault(va)) { |
441 | panic("%s: va=%P, rid=%d\n", __FUNCTION__, istate->cr_ifa, rr.map.rid); |
441 | panic("%s: va=%P, rid=%d, iip=%P\n", __FUNCTION__, istate->cr_ifa, rr.map.rid, istate->cr_iip); |
442 | } |
442 | } |
443 | } |
443 | } |
444 | } |
444 | } |
445 | 445 | ||
446 | /** Data TLB fault handler for faults with VHPT turned off. |
446 | /** Data TLB fault handler for faults with VHPT turned off. |