ian b6e63d67c1 Call cpu_icache_sync_range() rather than sync_all since we know the range
and flushing the entire icache is needlessly expensive.
2014-04-26 23:09:01 +00:00
..
2014-04-08 04:05:04 +00:00
2014-04-06 17:09:51 +00:00