4 #include <linux/spinlock.h>
5 #include <linux/mutex.h>
8 * The x86 doesn't have a mmu context, but
9 * we put the segment information here.
11 * cpu_vm_mask is used to optimize ldt flushing.
24 void leave_mm(int cpu);
26 static inline void leave_mm(int cpu)
31 #endif /* _ASM_X86_MMU_H */