Constant ARM64_RegisterMairEl1 

pub const ARM64_RegisterMairEl1: REGISTER_ID;