call_rcu(&f->f_rcuhead, file_free_rcu); 
call_rcu(&f->f_u.fu_rcuhead, file_free_rcu); 
static inline void file_free(struct file *f){	call_rcu(&f->f_rcuhead, file_free_rcu);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/2f51201662b28dbf8c15fb7eb972bc51c6cc3fa5/file_table.c/clean/fs/file_table.c