Constant WHvX64RegisterDs 

pub const WHvX64RegisterDs: WHV_REGISTER_NAME;