Constant WHvX64RegisterXmm1 

pub const WHvX64RegisterXmm1: WHV_REGISTER_NAME;