Constant ARM64_RegisterX25 

pub const ARM64_RegisterX25: REGISTER_ID;