|
@@ -1012,6 +1012,8 @@ void __init vmalloc_init(void)
|
|
|
void unmap_kernel_range(unsigned long addr, unsigned long size)
|
|
|
{
|
|
|
unsigned long end = addr + size;
|
|
|
+
|
|
|
+ flush_cache_vunmap(addr, end);
|
|
|
vunmap_page_range(addr, end);
|
|
|
flush_tlb_kernel_range(addr, end);
|
|
|
}
|