|
@@ -111,6 +111,7 @@ void flush_icache_range(unsigned long start, unsigned long end)
|
|
__flush_icache_range(start & ~(linesz - 1),
|
|
__flush_icache_range(start & ~(linesz - 1),
|
|
(end + linesz - 1) & ~(linesz - 1));
|
|
(end + linesz - 1) & ~(linesz - 1));
|
|
}
|
|
}
|
|
|
|
+EXPORT_SYMBOL(flush_icache_range);
|
|
|
|
|
|
/*
|
|
/*
|
|
* This one is called from __do_fault() and do_swap_page().
|
|
* This one is called from __do_fault() and do_swap_page().
|