|
@@ -3,8 +3,8 @@
|
|
|
|
|
|
#ifdef __x86_64__
|
|
#ifdef __x86_64__
|
|
|
|
|
|
|
|
+#include <linux/types.h>
|
|
#include <asm/ioctls.h>
|
|
#include <asm/ioctls.h>
|
|
-#include <asm/types.h>
|
|
|
|
|
|
|
|
/*
|
|
/*
|
|
* Machine Check support for x86
|
|
* Machine Check support for x86
|
|
@@ -115,8 +115,6 @@ extern int mce_notify_user(void);
|
|
|
|
|
|
#endif /* !CONFIG_X86_32 */
|
|
#endif /* !CONFIG_X86_32 */
|
|
|
|
|
|
-
|
|
|
|
-
|
|
|
|
#ifdef CONFIG_X86_MCE
|
|
#ifdef CONFIG_X86_MCE
|
|
extern void mcheck_init(struct cpuinfo_x86 *c);
|
|
extern void mcheck_init(struct cpuinfo_x86 *c);
|
|
#else
|
|
#else
|
|
@@ -126,5 +124,4 @@ extern void stop_mce(void);
|
|
extern void restart_mce(void);
|
|
extern void restart_mce(void);
|
|
|
|
|
|
#endif /* __KERNEL__ */
|
|
#endif /* __KERNEL__ */
|
|
-
|
|
|
|
#endif /* _ASM_X86_MCE_H */
|
|
#endif /* _ASM_X86_MCE_H */
|