Constant WHvX64RegisterGdtr 

pub const WHvX64RegisterGdtr: WHV_REGISTER_NAME;