Rev 755 | Rev 764 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 755 | Rev 756 | ||
|---|---|---|---|
| Line 337... | Line 337... | ||
| 337 | } |
337 | } |
| 338 | 338 | ||
| 339 | /* |
339 | /* |
| 340 | * Check if the mapping exists in page tables. |
340 | * Check if the mapping exists in page tables. |
| 341 | */ |
341 | */ |
| 342 | pte = page_mapping_find(AS, badvaddr, 0); |
342 | pte = page_mapping_find(AS, badvaddr); |
| 343 | if (pte && pte->lo.v) { |
343 | if (pte && pte->lo.v) { |
| 344 | /* |
344 | /* |
| 345 | * Mapping found in page tables. |
345 | * Mapping found in page tables. |
| 346 | * Immediately succeed. |
346 | * Immediately succeed. |
| 347 | */ |
347 | */ |
| Line 354... | Line 354... | ||
| 354 | if (as_page_fault(badvaddr)) { |
354 | if (as_page_fault(badvaddr)) { |
| 355 | /* |
355 | /* |
| 356 | * The higher-level page fault handler succeeded, |
356 | * The higher-level page fault handler succeeded, |
| 357 | * The mapping ought to be in place. |
357 | * The mapping ought to be in place. |
| 358 | */ |
358 | */ |
| 359 | pte = page_mapping_find(AS, badvaddr, 0); |
359 | pte = page_mapping_find(AS, badvaddr); |
| 360 | ASSERT(pte && pte->lo.v); |
360 | ASSERT(pte && pte->lo.v); |
| 361 | return pte; |
361 | return pte; |
| 362 | } |
362 | } |
| 363 | } |
363 | } |
| 364 | 364 | ||