Constant WHvX64RegisterXmm12

pub const WHvX64RegisterXmm12: WHV_REGISTER_NAME;