Constant WHvTranslateGvaFlagOverrideSmap 

pub const WHvTranslateGvaFlagOverrideSmap: WHV_TRANSLATE_GVA_FLAGS;