__fget_files_rcu
file = __fget_files_rcu(files, fd, mask);
file = __fget_files_rcu(files, fd, 0);
f = __fget_files_rcu(files, oldfd, 0);