/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; |
} |