Constant seL4_UnknownSyscall_A1

pub const seL4_UnknownSyscall_A1: Type = 4;