-#ifdef CONFIG_X86_32
-# include "mmu_32.h"
+#ifndef ASM_X86__MMU_H
+#define ASM_X86__MMU_H
+
+#include <linux/spinlock.h>
+#include <linux/mutex.h>
+
+/*
+ * The x86 doesn't have a mmu context, but
+ * we put the segment information here.
+ */
+typedef struct {
+ void *ldt;
+ int size;
+ struct mutex lock;
+ void *vdso;
+} mm_context_t;
+
+#ifdef CONFIG_SMP
+void leave_mm(int cpu);
#else
-# include "mmu_64.h"
+static inline void leave_mm(int cpu)
+{
+}
#endif
+
+#endif /* ASM_X86__MMU_H */