Rev 3343 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3343 | Rev 3593 | ||
|---|---|---|---|
| Line 101... | Line 101... | ||
| 101 | page_table_lock(as, lock); |
101 | page_table_lock(as, lock); |
| 102 | *pfrc = rc; |
102 | *pfrc = rc; |
| 103 | return NULL; |
103 | return NULL; |
| 104 | case AS_PF_FAULT: |
104 | case AS_PF_FAULT: |
| 105 | page_table_lock(as, lock); |
105 | page_table_lock(as, lock); |
| 106 | printf("Page fault.\n"); |
- | |
| 107 | *pfrc = rc; |
106 | *pfrc = rc; |
| 108 | return NULL; |
107 | return NULL; |
| 109 | default: |
108 | default: |
| 110 | panic("unexpected rc (%d)\n", rc); |
109 | panic("unexpected rc (%d)\n", rc); |
| 111 | } |
110 | } |