|
@@ -5,6 +5,7 @@
|
|
|
*/
|
|
|
#include <linux/init.h>
|
|
|
#include <linux/ioport.h>
|
|
|
+#include <linux/module.h>
|
|
|
|
|
|
#include <asm/bios_ebda.h>
|
|
|
#include <asm/paravirt.h>
|
|
@@ -85,6 +86,7 @@ struct x86_cpuinit_ops x86_cpuinit __cpuinitdata = {
|
|
|
};
|
|
|
|
|
|
static void default_nmi_init(void) { };
|
|
|
+static int default_i8042_detect(void) { return 1; };
|
|
|
|
|
|
struct x86_platform_ops x86_platform = {
|
|
|
.calibrate_tsc = native_calibrate_tsc,
|
|
@@ -92,5 +94,8 @@ struct x86_platform_ops x86_platform = {
|
|
|
.set_wallclock = mach_set_rtc_mmss,
|
|
|
.iommu_shutdown = iommu_shutdown_noop,
|
|
|
.is_untracked_pat_range = is_ISA_range,
|
|
|
- .nmi_init = default_nmi_init
|
|
|
+ .nmi_init = default_nmi_init,
|
|
|
+ .i8042_detect = default_i8042_detect
|
|
|
};
|
|
|
+
|
|
|
+EXPORT_SYMBOL_GPL(x86_platform);
|