Constant WHvX64RegisterSysenterCs 

pub const WHvX64RegisterSysenterCs: WHV_REGISTER_NAME;