Pmap ops: perm->settings
[akaros.git] / kern / arch / x86 / kpt.h
2015-04-07 Barret RhodenPmap ops: perm->settings
2015-04-07 Barret RhodenVMM: Call EPT ops for every KPT op