file = fdt->fd[fd]; 
file = rcu_dereference(fdt->fd[fd]); 
static inline struct file * fcheck_files(struct files_struct *files, unsigned int fd){	struct file * file = NULL;	struct fdtable *fdt = files_fdtable(files);	if (fd < fdt->max_fds)		file = fdt->fd[fd];	return file;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/ab2af1f5005069321c5d130f09cce577b03f43ef/file.h/clean/include/linux/file.h