Constant WHvTranslateGvaFlagEnforceSmap 

pub const WHvTranslateGvaFlagEnforceSmap: WHV_TRANSLATE_GVA_FLAGS;