|
@@ -162,6 +162,22 @@ static int __init x86_mpx_setup(char *s)
|
|
|
}
|
|
|
__setup("nompx", x86_mpx_setup);
|
|
|
|
|
|
+static int __init x86_noinvpcid_setup(char *s)
|
|
|
+{
|
|
|
+ /* noinvpcid doesn't accept parameters */
|
|
|
+ if (s)
|
|
|
+ return -EINVAL;
|
|
|
+
|
|
|
+ /* do not emit a message if the feature is not present */
|
|
|
+ if (!boot_cpu_has(X86_FEATURE_INVPCID))
|
|
|
+ return 0;
|
|
|
+
|
|
|
+ setup_clear_cpu_cap(X86_FEATURE_INVPCID);
|
|
|
+ pr_info("noinvpcid: INVPCID feature disabled\n");
|
|
|
+ return 0;
|
|
|
+}
|
|
|
+early_param("noinvpcid", x86_noinvpcid_setup);
|
|
|
+
|
|
|
#ifdef CONFIG_X86_32
|
|
|
static int cachesize_override = -1;
|
|
|
static int disable_x86_serial_nr = 1;
|