Constant seL4_UnknownSyscall_R7

pub const seL4_UnknownSyscall_R7: Type = 7;