Constant seL4_UnknownSyscall_A2

pub const seL4_UnknownSyscall_A2: Type = 5;