Rev 3403 | Rev 4339 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3403 | Rev 3588 | ||
|---|---|---|---|
| Line 427... | Line 427... | ||
| 427 | *pfrc = AS_PF_DEFER; |
427 | *pfrc = AS_PF_DEFER; |
| 428 | return NULL; |
428 | return NULL; |
| 429 | break; |
429 | break; |
| 430 | case AS_PF_FAULT: |
430 | case AS_PF_FAULT: |
| 431 | page_table_lock(AS, true); |
431 | page_table_lock(AS, true); |
| 432 | printf("Page fault.\n"); |
- | |
| 433 | *pfrc = AS_PF_FAULT; |
432 | *pfrc = AS_PF_FAULT; |
| 434 | return NULL; |
433 | return NULL; |
| 435 | break; |
434 | break; |
| 436 | default: |
435 | default: |
| 437 | panic("unexpected rc (%d)\n", rc); |
436 | panic("unexpected rc (%d)\n", rc); |