Constant seL4_UnknownSyscall_A2 

pub const seL4_UnknownSyscall_A2: Type = 5;