tree 0e0aeb8c418dca4cf803c129dfa097895618b0d4
parent aec051d4ba2557d9bd9a5d54bc236396d33950a9
author sewardj <sewardj@8f6e269a-dfd6-0310-a8e1-e2731360e62c> 1401882285 +0000
committer sewardj <sewardj@8f6e269a-dfd6-0310-a8e1-e2731360e62c> 1401882285 +0000

Support the "ishst" variant of "dmb".  Fixes #335263.  (dimitry@google.com)


git-svn-id: svn://svn.valgrind.org/vex/trunk@2867 8f6e269a-dfd6-0310-a8e1-e2731360e62c