Constant WHvX64RegisterSysenterEip 

pub const WHvX64RegisterSysenterEip: WHV_REGISTER_NAME;