Rev 3193 | Rev 3586 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3193 | Rev 3584 | ||
|---|---|---|---|
| Line 93... | Line 93... | ||
| 93 | case AS_PF_DEFER: |
93 | case AS_PF_DEFER: |
| 94 | page_table_lock(as, lock); |
94 | page_table_lock(as, lock); |
| 95 | *pfrc = rc; |
95 | *pfrc = rc; |
| 96 | return NULL; |
96 | return NULL; |
| 97 | case AS_PF_FAULT: |
97 | case AS_PF_FAULT: |
| 98 | page_table_lock(as, lock); |
- | |
| 99 | printf("Page fault.\n"); |
98 | printf("Page fault.\n"); |
| - | 99 | page_table_lock(as, lock); |
|
| 100 | *pfrc = rc; |
100 | *pfrc = rc; |
| 101 | return NULL; |
101 | return NULL; |
| 102 | default: |
102 | default: |
| 103 | panic("unexpected rc (%d)\n", rc); |
103 | panic("unexpected rc (%d)\n", rc); |
| 104 | } |
104 | } |