From: Julian Seward <jseward@acm.org>
Date: Wed, 31 May 2017 14:47:53 +0000 (+0000)
Subject: Merge, from trunk, r3385 (Handle x86 CET prefixes (32 bit only)).
X-Git-Tag: svn/VALGRIND_3_13_0^2
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=fc0b0e97cf8beea5a7a72a94d3d921dbf0a4c97d;p=thirdparty%2Fvalgrind.git

Merge, from trunk, r3385 (Handle x86 CET prefixes (32 bit only)).


git-svn-id: svn://svn.valgrind.org/vex/branches/VEX_3_13_BRANCH@3386
---

fc0b0e97cf8beea5a7a72a94d3d921dbf0a4c97d