leave_mm           35 arch/x86/kernel/tlb_32.c void leave_mm(int cpu)
leave_mm           63 arch/x86/kernel/tlb_64.c void leave_mm(int cpu)
leave_mm           21 include/asm-x86/mmu.h static inline void leave_mm(int cpu)