tree fda34d61b206c593979da6072fe09779bbaf103c
parent 876d5b05bd6cd2a3f634822be5fa1716e9517e75
author Barret Rhoden <brho@cs.berkeley.edu> 1428342682 -0400
committer Barret Rhoden <brho@cs.berkeley.edu> 1428433620 -0400

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).