Constant WHvX64RegisterSCet 

pub const WHvX64RegisterSCet: WHV_REGISTER_NAME;