K 10
svn:author
V 3
ian
K 8
svn:date
V 27
2015-03-09T14:42:25.822077Z
K 7
svn:log
V 242
Clean data cache before instruction cache in armv7_icache_sync_range().
Also ensure dsb precedes isb in all icache maintenance routines (first
do a data sync, then stall the instruction stream until it finishes).

Submitted by:	Michal Meloun

END