X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/f4122e6e085938b6d216a9ec724b974a603f6992..983fe7c4ac262f56d38a143b1efab1e4afb77a52:/l4/pkg/valgrind/src/valgrind-3.6.0-svn/coregrind/pub_core_threadstate.h

diff --git a/l4/pkg/valgrind/src/valgrind-3.6.0-svn/coregrind/pub_core_threadstate.h b/l4/pkg/valgrind/src/valgrind-3.6.0-svn/coregrind/pub_core_threadstate.h
index f9a37b45e..efeccdb49 100644
--- a/l4/pkg/valgrind/src/valgrind-3.6.0-svn/coregrind/pub_core_threadstate.h
+++ b/l4/pkg/valgrind/src/valgrind-3.6.0-svn/coregrind/pub_core_threadstate.h
@@ -93,6 +93,8 @@ typedef
    typedef VexGuestPPC64State VexGuestArchState;
 #elif defined(VGA_arm)
    typedef VexGuestARMState   VexGuestArchState;
+#elif defined(VGA_s390x)
+   typedef VexGuestS390XState VexGuestArchState;
 #else
 #  error Unknown architecture
 #endif
@@ -373,8 +375,8 @@ typedef struct {
    ThreadOSstate os_state;
 
    /* Per-thread jmp_buf to resume scheduler after a signal */
-   Bool    sched_jmpbuf_valid;
-   jmp_buf sched_jmpbuf;
+   Bool               sched_jmpbuf_valid;
+   VG_MINIMAL_JMP_BUF(sched_jmpbuf);
 }
 ThreadState;