tree 0e77122c9f0fed07a69ad203bf50e08f5ee8e699
parent cf28cbff9f0557dea9ed60358a956859ba1b56aa
author Elliott Hughes <enh@google.com> 1386972036 -0800
committer Elliott Hughes <enh@google.com> 1386972036 -0800

Use dmb.

We don't support ARM processors that don't have dmb anyway.

Change-Id: I41b15a1592febcc0b33d93c291431d00692a2928