Constant seL4_UnknownSyscall_SP

pub const seL4_UnknownSyscall_SP: Type = 9;