struct file * file = xchg(&files->fd[i], NULL); 
struct file * file = xchg(&fdt->fd[i], NULL); 
static inline void close_files(struct files_struct * files){	int i, j;	j = 0;	for (;;) {		unsigned long set;		i = j * __NFDBITS;		if (i >= files->max_fdset || i >= files->max_fds)			break;		set = files->open_fds->fds_bits[j++];		while (set) {			if (set & 1) {				struct file * file = xchg(&files->fd[i], NULL);				if (file)					filp_close(file, files);			}			i++;			set >>= 1;		}	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/badf16621c1f9d1ac753be056fce11b43d6e0be5/exit.c/clean/kernel/exit.c