Subversion Repositories HelenOS-historic

Rev

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