Constant ARM64_RegisterSctlrEl1 

pub const ARM64_RegisterSctlrEl1: REGISTER_ID;