 /* * It is safe to dereference the fd table without RCU or * ->file_lock because this is the last reference to the * files structure. */ 
static inline void close_files(struct files_struct * files){	int i, j;	struct fdtable *fdt;	j = 0;	fdt = files_fdtable(files);	for (;;) {		unsigned long set;		i = j * __NFDBITS;		if (i >= fdt->max_fdset || i >= fdt->max_fds)			break;		set = fdt->open_fds->fds_bits[j++];		while (set) {			if (set & 1) {				struct file * file = xchg(&fdt->fd[i], NULL);				if (file)					filp_close(file, files);			}			i++;			set >>= 1;		}	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/4fb3a53860cee2aaaf81186c451b7da0b95b45c1/exit.c/clean/kernel/exit.c