Constant ARM64_RegisterMax 

pub const ARM64_RegisterMax: REGISTER_ID;