Rev 764 | Rev 831 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 764 | Rev 765 | ||
---|---|---|---|
Line 364... | Line 364... | ||
364 | 364 | ||
365 | /* |
365 | /* |
366 | * Handler cannot succeed if badvaddr has no mapping. |
366 | * Handler cannot succeed if badvaddr has no mapping. |
367 | */ |
367 | */ |
368 | if (!pte) { |
368 | if (!pte) { |
369 | printf("No such mapping: %P.\n", badvaddr); |
369 | printf("No such mapping.\n"); |
370 | return NULL; |
370 | return NULL; |
371 | } |
371 | } |
372 | 372 | ||
373 | /* |
373 | /* |
374 | * Handler cannot succeed if the mapping is marked as invalid. |
374 | * Handler cannot succeed if the mapping is marked as invalid. |