#define __PUB_CORE_SYSCALL_H
#if defined(VGO_l4re)
+#include "pub_core_libcsetjmp.h"
#include "pub_core_threadstate.h"
#include "coregrind/m_syswrap/priv_types_n_macros.h"
#include <l4re_helper.h>
UInt wHI, UInt wLO );
extern SysRes VG_(mk_SysRes_amd64_darwin)( UChar scclass, Bool isErr,
ULong wHI, ULong wLO );
+extern SysRes VG_(mk_SysRes_s390x_linux) ( Long val );
extern SysRes VG_(mk_SysRes_x86_l4re) ( UInt val );
extern SysRes VG_(mk_SysRes_Error) ( UWord val );
extern SysRes VG_(mk_SysRes_Success) ( UWord val );