Rev 413 | Rev 501 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 413 | Rev 492 | ||
---|---|---|---|
Line 364... | Line 364... | ||
364 | } |
364 | } |
365 | 365 | ||
366 | /* |
366 | /* |
367 | * Handler cannot succeed if badvaddr has no mapping. |
367 | * Handler cannot succeed if badvaddr has no mapping. |
368 | */ |
368 | */ |
369 | pte = find_mapping(badvaddr, 0); |
369 | pte = page_mapping_find(badvaddr, 0); |
370 | if (!pte) { |
370 | if (!pte) { |
371 | printf("No such mapping.\n"); |
371 | printf("No such mapping.\n"); |
372 | return NULL; |
372 | return NULL; |
373 | } |
373 | } |
374 | 374 |