The attached patch changes ARM MC to accept "dmb" and assemble it as "dmb sy". According to this page:<div>  <a href="http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.dui0489c/CIHGHHIE.html">http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.dui0489c/CIHGHHIE.html</a><div>

that's the right thing to do.</div></div><div><br></div><div>Please review!</div><div><br></div><div>Nick</div><div><br></div>