Subversion Repositories HelenOS-historic

Rev

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.