Constant seL4_UnknownSyscall_A5

pub const seL4_UnknownSyscall_A5: Type = 8;