Constant ARM64_RegisterActlrEl1 

pub const ARM64_RegisterActlrEl1: REGISTER_ID = 145i32;