Constant X64_RegisterR15 

pub const X64_RegisterR15: REGISTER_ID;