Constant WHvX64RegisterSs 

pub const WHvX64RegisterSs: WHV_REGISTER_NAME;