fd_file
return (fd_file(fd) == NULL);
so = job->fd_file->f_data;
error = mac_socket_check_send(job->fd_file->f_cred, so);
so = job->fd_file->f_data;
so = job->fd_file->f_data;
struct socket *so = job->fd_file->f_data;
struct socket *so = job->fd_file->f_data;
struct file *fp = job->fd_file;
so = job->fd_file->f_data;
fp = job->fd_file;
job->fd_file = fp;
if (job2->fd_file == job->fd_file &&
if (job->fd_file)
fdrop(job->fd_file, curthread);
fp = job->fd_file;
struct file *fp = job->fd_file;
if (job->fd_file != sjob->fd_file ||
struct file *fd_file; /* (*) pointer to file structure */
CHECK_SYSCALL_SUCCEEDS(dup, fd_file);
CHECK_SYSCALL_SUCCEEDS(fstat, fd_file, &sb);
CHECK_SYSCALL_SUCCEEDS(lseek, fd_file, 0, SEEK_SET);
CHECK_SYSCALL_SUCCEEDS(msync, &fd_file, 8192, MS_ASYNC);
CHECK_SYSCALL_SUCCEEDS(read, fd_file, &ch, sizeof(ch));
CHECK_SYSCALL_SUCCEEDS(write, fd_file, &ch, sizeof(ch));
CHECK_NOT_CAPMODE(fchflags, fd_file, UF_NODUMP);
int fd_close, fd_dir, fd_file, fd_socket, fd2[2];
REQUIRE(fd_file = open("/tmp/cap_capmode", O_RDWR|O_CREAT, 0644));