|
@@ -75,7 +75,8 @@ static void flush_kernel_map(void *arg)
|
|
|
|
|
|
/* When clflush is available always use it because it is
|
|
|
much cheaper than WBINVD. */
|
|
|
- if (!cpu_has_clflush)
|
|
|
+ /* clflush is still broken. Disable for now. */
|
|
|
+ if (1 || !cpu_has_clflush)
|
|
|
asm volatile("wbinvd" ::: "memory");
|
|
|
else list_for_each_entry(pg, l, lru) {
|
|
|
void *adr = page_address(pg);
|