Constant WHvX64RegisterPl1Ssp 

pub const WHvX64RegisterPl1Ssp: WHV_REGISTER_NAME;