K 10
svn:author
V 3
ian
K 8
svn:date
V 27
2014-04-26T23:09:01.622177Z
K 7
svn:log
V 130
Call cpu_icache_sync_range() rather than sync_all since we know the range
and flushing the entire icache is needlessly expensive.

END