|
@@ -27,6 +27,7 @@
|
|
|
#include <linux/highmem.h>
|
|
|
#include <linux/sched.h>
|
|
|
#include <linux/moduleparam.h>
|
|
|
+#include <linux/mod_devicetable.h>
|
|
|
#include <linux/ftrace_event.h>
|
|
|
#include <linux/slab.h>
|
|
|
#include <linux/tboot.h>
|
|
@@ -51,6 +52,12 @@
|
|
|
MODULE_AUTHOR("Qumranet");
|
|
|
MODULE_LICENSE("GPL");
|
|
|
|
|
|
+static const struct x86_cpu_id vmx_cpu_id[] = {
|
|
|
+ X86_FEATURE_MATCH(X86_FEATURE_VMX),
|
|
|
+ {}
|
|
|
+};
|
|
|
+MODULE_DEVICE_TABLE(x86cpu, vmx_cpu_id);
|
|
|
+
|
|
|
static bool __read_mostly enable_vpid = 1;
|
|
|
module_param_named(vpid, enable_vpid, bool, 0444);
|
|
|
|