K 10
svn:author
V 6
cognet
K 8
svn:date
V 27
2012-11-14T10:59:42.719313Z
K 7
svn:log
V 143
Use the arrmv7 version for flushID too, as it does something different for SMP.

Submitted by:	Giovanni Trematerra <gianni at freebsd DOT org>

END