Call cpu_icache_sync_range() rather than sync_all since we know the range

and flushing the entire icache is needlessly expensive.
This commit is contained in:
Ian Lepore 2014-04-26 23:09:01 +00:00
parent f59c6cb0fc
commit 75c95895f5
Notes: svn2git 2020-12-20 02:59:44 +00:00
svn path=/head/; revision=264990

View File

@ -49,7 +49,7 @@ static __inline void
kdb_cpu_sync_icache(unsigned char *addr, size_t size)
{
cpu_icache_sync_all();
cpu_icache_sync_range((vm_offset_t)addr, size);
}
static __inline void