K 10
svn:author
V 3
ian
K 8
svn:date
V 27
2015-02-23T20:09:05.290826Z
K 7
svn:log
V 255
There is no reason to do i+dcache writeback and invalidate when changing
the translation table (this may be left over from armv5 days).  It's
especially bad to do so using a cache operation that isn't coherent on
SMP systems.

Submitted by:	Michal Meloun

END