#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;

  
  #ifdef CONFIG_X86_64
  	/* True if mm supports a task running in 32 bit compatibility mode. */
  	unsigned short ia32_compat;
  #endif

  	struct mutex lock;
  	void *vdso;

  } mm_context_t;

  #ifdef CONFIG_SMP
  void leave_mm(int cpu);
  #else
  static inline void leave_mm(int cpu)
  {
  }
  #endif

  #endif /* _ASM_X86_MMU_H */