github.com/jlmucb/cloudproxy@v0.0.0-20170830161738-b5aa0b619bc4/cpvmm/common/include/arch (about) em64t_defs.h ia32_defs.h ia32_low_level.h msr_defs.h