Constant WHvX64RegisterXmm11 

pub const WHvX64RegisterXmm11: WHV_REGISTER_NAME;