Constant WHvX64RegisterEs 

pub const WHvX64RegisterEs: WHV_REGISTER_NAME;