Constant X64_RegisterR12 

pub const X64_RegisterR12: REGISTER_ID;