xfnw/plan9fox
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

pc64: implement checkmmu() debug function

Browse source
This commit is contained in:
cinap_lenrek 2014-06-07 09:26:57 +02:00
parent 2e713acc2c
commit 7bc8f4d993
1 changed files with 10 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
sys/src/9/pc64/mmu.c
View file

@ -438,10 +438,19 @@ putmmu(uintptr va, uintptr pa, Page *)
invlpg(va);
}
/*
* Double-check the user MMU.
* Error checking only.
*/
void
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