| commit | f454cb9308910697342c39dfebf474550862bbde | [log] [tgz] |
|---|---|---|
| author | Barret Rhoden <brho@cs.berkeley.edu> | Mon Apr 06 13:51:22 2015 -0400 |
| committer | Barret Rhoden <brho@cs.berkeley.edu> | Tue Apr 07 15:07:00 2015 -0400 |
| tree | fda34d61b206c593979da6072fe09779bbaf103c | |
| parent | 876d5b05bd6cd2a3f634822be5fa1716e9517e75 [diff] |
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).