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