Constant X64_RegisterXmm12 

pub const X64_RegisterXmm12: REGISTER_ID;