Constant WHvX64RegisterPl3Ssp 

pub const WHvX64RegisterPl3Ssp: WHV_REGISTER_NAME;