]> rtime.felk.cvut.cz Git - l4.git/blobdiff - l4/pkg/valgrind/src/valgrind-3.6.0-svn/coregrind/pub_core_syscall.h
update
[l4.git] / l4 / pkg / valgrind / src / valgrind-3.6.0-svn / coregrind / pub_core_syscall.h
index c468416117b7c88bd0339ecd4156a43ff8380e9f..d621f2bf8c5c1ad565e6bf073899cd639deb3bbb 100644 (file)
@@ -32,6 +32,7 @@
 #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>
@@ -90,6 +91,7 @@ extern SysRes VG_(mk_SysRes_x86_darwin)  ( UChar scclass, Bool isErr,
                                            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 );