Constant seL4_UnknownSyscall_SP 

pub const seL4_UnknownSyscall_SP: Type = 1;