Constant WHvX64RegisterSCet

pub const WHvX64RegisterSCet: WHV_REGISTER_NAME;