VMM: debug helper for checking KPT == EPT invariant
authorBarret Rhoden <brho@cs.berkeley.edu>
Mon, 6 Apr 2015 17:51:22 +0000 (13:51 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 7 Apr 2015 19:07:00 +0000 (15:07 -0400)
commitf454cb9308910697342c39dfebf474550862bbde
treefda34d61b206c593979da6072fe09779bbaf103c
parent876d5b05bd6cd2a3f634822be5fa1716e9517e75
VMM: debug helper for checking KPT == EPT invariant

Not called from anywhere, but you can kfunc it or drop it wherever you
want (like EPT HPF, proc_free, etc).
kern/arch/x86/pmap64.c