Constant WHvTranslateGvaFlagSetPageTableBits 

pub const WHvTranslateGvaFlagSetPageTableBits: WHV_TRANSLATE_GVA_FLAGS;