Constant WHvTranslateGvaResultInvalidPageTableFlags 

pub const WHvTranslateGvaResultInvalidPageTableFlags: WHV_TRANSLATE_GVA_RESULT_CODE;