x86: Use clflushopt in clflush_cache_range
authorRoss Zwisler <ross.zwisler@linux.intel.com>
Wed, 26 Feb 2014 19:06:50 +0000 (12:06 -0700)
committerH. Peter Anvin <hpa@linux.intel.com>
Thu, 27 Feb 2014 16:26:10 +0000 (08:26 -0800)
If clflushopt is available on the system, use it instead of clflush in
clflush_cache_range.

Signed-off-by: Ross Zwisler <ross.zwisler@linux.intel.com>
Link: http://lkml.kernel.org/r/1393441612-19729-3-git-send-email-ross.zwisler@linux.intel.com
Signed-off-by: H. Peter Anvin <hpa@linux.intel.com>
arch/x86/mm/pageattr.c

Simple merge