leave_mm          147 arch/x86/include/asm/acpi.h #define acpi_unlazy_tlb(x)	leave_mm(x)
leave_mm           25 arch/x86/include/asm/mmu.h void leave_mm(int cpu);