struct list_head *l = (struct list_head *)arg;
struct page *pg;
+ __flush_tlb_all();
+
/* When clflush is available always use it because it is
much cheaper than WBINVD. */
/* clflush is still broken. Disable for now. */
clflush_cache_range(addr, PAGE_SIZE);
}
}
- __flush_tlb_all();
}
static inline void flush_map(struct list_head *l)