Rev 1736 | Rev 1758 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1736 | Rev 1743 | ||
---|---|---|---|
Line 83... | Line 83... | ||
83 | * The mapping ought to be in place. |
83 | * The mapping ought to be in place. |
84 | */ |
84 | */ |
85 | page_table_lock(as, lock); |
85 | page_table_lock(as, lock); |
86 | pte = page_mapping_find(as, badvaddr); |
86 | pte = page_mapping_find(as, badvaddr); |
87 | ASSERT((pte) && (pte->p)); |
87 | ASSERT((pte) && (pte->p)); |
- | 88 | *pfrc = 0; |
|
88 | return pte; |
89 | return pte; |
89 | case AS_PF_DEFER: |
90 | case AS_PF_DEFER: |
90 | page_table_lock(as, lock); |
91 | page_table_lock(as, lock); |
91 | *pfrc = rc; |
92 | *pfrc = rc; |
92 | return NULL; |
93 | return NULL; |