Constant ARM64_RegisterSpEl0 

pub const ARM64_RegisterSpEl0: REGISTER_ID;