Rev 3397 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3397 | Rev 3593 | ||
---|---|---|---|
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); |