Rev 3343 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3343 | Rev 3593 | ||
---|---|---|---|
Line 94... | Line 94... | ||
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); |
98 | page_table_lock(as, lock); |
99 | printf("Page fault.\n"); |
- | |
100 | *pfrc = rc; |
99 | *pfrc = rc; |
101 | return NULL; |
100 | return NULL; |
102 | default: |
101 | default: |
103 | panic("unexpected rc (%d)\n", rc); |
102 | panic("unexpected rc (%d)\n", rc); |
104 | } |
103 | } |