exit_mm            56 kernel/exit.c  static void exit_mm(struct task_struct * tsk);
exit_mm           427 kernel/exit.c  	exit_mm(current);
exit_mm          1073 kernel/exit.c  	exit_mm(tsk);