if (unlikely(fdt->fd[fd] != NULL)) BUG(); fdt->fd[fd] = file; 
BUG_ON(fdt->fd[fd] != NULL); rcu_assign_pointer(fdt->fd[fd], file); 
void fastcall fd_install(unsigned int fd, struct file * file){	struct files_struct *files = current->files;	struct fdtable *fdt;	spin_lock(&files->file_lock);	fdt = files_fdtable(files);	if (unlikely(fdt->fd[fd] != NULL))		BUG();	fdt->fd[fd] = file;	spin_unlock(&files->file_lock);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/ab2af1f5005069321c5d130f09cce577b03f43ef/open.c/clean/fs/open.c