leave_mm          163 arch/x86/include/asm/acpi.h #define acpi_unlazy_tlb(x)	leave_mm(x)
leave_mm           65 arch/x86/include/asm/mmu.h void leave_mm(int cpu);
leave_mm          152 arch/x86/mm/tlb.c EXPORT_SYMBOL_GPL(leave_mm);
leave_mm          996 arch/x86/xen/mmu_pv.c 		leave_mm(smp_processor_id());
leave_mm          912 drivers/idle/intel_idle.c 		leave_mm(cpu);