Constant seL4_UnknownSyscall_A6

pub const seL4_UnknownSyscall_A6: Type = 9;