Changed magic number from 0xE5 to I_VMMPC_POSTED
[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