Subversion Repositories HelenOS-historic

Compare Revisions

Ignore whitespace Rev 686 → Rev 687

/kernel/trunk/arch/mips32/src/mm/tlb.c
336,7 → 336,7
/*
* Handler cannot succeed if badvaddr has no mapping.
*/
pte = page_mapping_find(badvaddr, 0);
pte = page_mapping_find(badvaddr, VM->asid, 0);
if (!pte) {
printf("No such mapping.\n");
return NULL;