Rev 618 | Rev 703 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 618 | Rev 687 | ||
---|---|---|---|
Line 334... | Line 334... | ||
334 | } |
334 | } |
335 | 335 | ||
336 | /* |
336 | /* |
337 | * Handler cannot succeed if badvaddr has no mapping. |
337 | * Handler cannot succeed if badvaddr has no mapping. |
338 | */ |
338 | */ |
339 | pte = page_mapping_find(badvaddr, 0); |
339 | pte = page_mapping_find(badvaddr, VM->asid, 0); |
340 | if (!pte) { |
340 | if (!pte) { |
341 | printf("No such mapping.\n"); |
341 | printf("No such mapping.\n"); |
342 | return NULL; |
342 | return NULL; |
343 | } |
343 | } |
344 | 344 |