Constant WHvX64RegisterXmm10 

pub const WHvX64RegisterXmm10: WHV_REGISTER_NAME;