Constant ARM64_RegisterSctlrEl1

pub const ARM64_RegisterSctlrEl1: REGISTER_ID;