old_exe          1815 kernel/sys.c   	struct file *old_exe, *exe_file;
old_exe          1862 kernel/sys.c   	old_exe = xchg(&mm->exe_file, exe.file);
old_exe          1863 kernel/sys.c   	if (old_exe)
old_exe          1864 kernel/sys.c   		fput(old_exe);