Constant WHvX64RegisterR10 

pub const WHvX64RegisterR10: WHV_REGISTER_NAME;