Constant WHvX64RegisterXmm6 

pub const WHvX64RegisterXmm6: WHV_REGISTER_NAME;