diff options
| -rw-r--r-- | drivers/gpu/drm/drm_cache.c | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/drivers/gpu/drm/drm_cache.c b/drivers/gpu/drm/drm_cache.c index 9475f7d9901d..0e994a0e46d4 100644 --- a/drivers/gpu/drm/drm_cache.c +++ b/drivers/gpu/drm/drm_cache.c @@ -47,12 +47,6 @@ drm_clflush_page(struct page *page) } #endif -static void -drm_clflush_ipi_handler(void *null) -{ - wbinvd(); -} - void drm_clflush_pages(struct page *pages[], unsigned long num_pages) { @@ -68,9 +62,8 @@ drm_clflush_pages(struct page *pages[], unsigned long num_pages) return; } -#endif - if (on_each_cpu(drm_clflush_ipi_handler, NULL, 1) != 0) - DRM_ERROR("Timed out waiting for cache flush.\n"); + wbinvd(); +#endif } EXPORT_SYMBOL(drm_clflush_pages); |