Constant seL4_UnknownSyscall_A5 

pub const seL4_UnknownSyscall_A5: Type = 8;