Constant WHvX64RegisterXmm14 

pub const WHvX64RegisterXmm14: WHV_REGISTER_NAME;