Constant ARM64_RegisterSpEl1 

pub const ARM64_RegisterSpEl1: REGISTER_ID;