Constant ARM64_RegisterActlrEl1 

pub const ARM64_RegisterActlrEl1: REGISTER_ID;