Constant WHvX64RegisterXmm12 

pub const WHvX64RegisterXmm12: WHV_REGISTER_NAME;