Subversion Repositories HelenOS

Compare Revisions

Ignore whitespace Rev 730 → Rev 755

/kernel/trunk/arch/mips32/src/mm/tlb.c
339,7 → 339,7
/*
* Check if the mapping exists in page tables.
*/
pte = page_mapping_find(badvaddr, AS->asid, 0);
pte = page_mapping_find(AS, badvaddr, 0);
if (pte && pte->lo.v) {
/*
* Mapping found in page tables.
356,7 → 356,7
* The higher-level page fault handler succeeded,
* The mapping ought to be in place.
*/
pte = page_mapping_find(badvaddr, AS->asid, 0);
pte = page_mapping_find(AS, badvaddr, 0);
ASSERT(pte && pte->lo.v);
return pte;
}