From: Florian Krohm <florian@eich-krohm.de>
Date: Tue, 16 Feb 2016 21:14:47 +0000 (+0000)
Subject: s390: Add machine model z13s
X-Git-Tag: svn/VALGRIND_3_12_0^2~58
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=dbf573ccc3fbacbe7c08a5811b2a91b1a2ad35df;p=thirdparty%2Fvalgrind.git

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 b2bd476bdc..4dd23e6016 100644
--- 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 */