Add z13 (s390).

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

diff --git a/VEX/pub/libvex.h b/VEX/pub/libvex.h
index f92e0c0c8439561fb3fe44911736f604ac24ad6c..5140afc6fc5ed4268951af47fc717c9ac7e1615b 100644 (file)
--- a/VEX/pub/libvex.h
+++ b/VEX/pub/libvex.h
@@ -139,7 +139,8 @@ typedef
 #define VEX_S390X_MODEL_Z114     9
 #define VEX_S390X_MODEL_ZEC12    10
 #define VEX_S390X_MODEL_ZBC12    11
-#define VEX_S390X_MODEL_UNKNOWN  12     /* always last in list */
+#define VEX_S390X_MODEL_Z13      12
+#define VEX_S390X_MODEL_UNKNOWN  13     /* always last in list */
 #define VEX_S390X_MODEL_MASK     0x3F
 
 #define VEX_HWCAPS_S390X_LDISP (1<<6)   /* Long-displacement facility */