Constant seL4_UnknownSyscall_A6 

pub const seL4_UnknownSyscall_A6: Type = 9;