merge
This commit is contained in:
commit
3cc15d2301
1 changed files with 10 additions and 1 deletions
|
@ -438,10 +438,19 @@ putmmu(uintptr va, uintptr pa, Page *)
|
||||||
invlpg(va);
|
invlpg(va);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/*
|
||||||
|
* Double-check the user MMU.
|
||||||
|
* Error checking only.
|
||||||
|
*/
|
||||||
void
|
void
|
||||||
checkmmu(uintptr va, uintptr pa)
|
checkmmu(uintptr va, uintptr pa)
|
||||||
{
|
{
|
||||||
USED(va, pa);
|
uintptr *pte;
|
||||||
|
|
||||||
|
pte = mmuwalk(m->pml4, va, 0, 0);
|
||||||
|
if(pte != 0 && (*pte & PTEVALID) != 0 && PPN(*pte) != pa)
|
||||||
|
print("%ld %s: va=%#p pa=%#p pte=%#p\n",
|
||||||
|
up->pid, up->text, va, pa, *pte);
|
||||||
}
|
}
|
||||||
|
|
||||||
uintptr
|
uintptr
|
||||||
|
|
Loading…
Reference in a new issue