K 10 svn:author V 6 marcel K 8 svn:date V 27 2015-08-13T14:53:29.893558Z K 7 svn:log V 252 Instead of having separate do_sync functions for ARM_ARCH 6 vs. ARM_ARCH >= 7, use the dmb() macro defined in machine/atomic.h Submitted by: Steve Kiernan Reviewed by: imp@ Differential Revision: https://reviews.freebsd.org/D3355 END