list_del_init(&file->f_list); 
list_del_init(&file->f_u.fu_list); 
void file_kill(struct file *file){	if (!list_empty(&file->f_list)) {		file_list_lock();		list_del_init(&file->f_list);		file_list_unlock();	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/2f51201662b28dbf8c15fb7eb972bc51c6cc3fa5/file_table.c/clean/fs/file_table.c