Constant WHvX64RegisterSysenterEsp 

pub const WHvX64RegisterSysenterEsp: WHV_REGISTER_NAME;