Rev 1044 | Rev 1104 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1044 | Rev 1080 | ||
|---|---|---|---|
| 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 | page_table_unlock(AS, true); |
- | |
| 442 | panic("%s: va=%P, rid=%d\n", __FUNCTION__, istate->cr_ifa, rr.map.rid); |
441 | panic("%s: va=%P, rid=%d\n", __FUNCTION__, istate->cr_ifa, rr.map.rid); |
| 443 | } |
442 | } |
| 444 | } |
443 | } |
| 445 | } |
444 | } |
| 446 | 445 | ||