Constant WHvX64RegisterSysenterEip

pub const WHvX64RegisterSysenterEip: WHV_REGISTER_NAME;