s390: Add machine model z13s

git-svn-id: svn://svn.valgrind.org/vex/trunk@3208

diff --git a/VEX/pub/libvex.h b/VEX/pub/libvex.h
index b2bd476bdcca422c5f6b3e28357da1d16bce501c..4dd23e6016892782b81bec3ab96dc7b1854d4c6f 100644 (file)
--- a/VEX/pub/libvex.h
+++ b/VEX/pub/libvex.h
@@ -141,7 +141,8 @@ typedef
 #define VEX_S390X_MODEL_ZEC12    10
 #define VEX_S390X_MODEL_ZBC12    11
 #define VEX_S390X_MODEL_Z13      12
-#define VEX_S390X_MODEL_UNKNOWN  13     /* always last in list */
+#define VEX_S390X_MODEL_Z13S     13
+#define VEX_S390X_MODEL_UNKNOWN  14     /* always last in list */
 #define VEX_S390X_MODEL_MASK     0x3F
 
 #define VEX_HWCAPS_S390X_LDISP (1<<6)   /* Long-displacement facility */