Constant seL4_UnknownSyscall_X0

pub const seL4_UnknownSyscall_X0: Type = 0;