old_fd            517 usr/server/fs/vfs/main.c 	int old_fd, new_fd;
old_fd            519 usr/server/fs/vfs/main.c 	old_fd = msg->data[0];
old_fd            520 usr/server/fs/vfs/main.c 	if ((fp = task_getfp(t, old_fd)) == NULL)
old_fd            544 usr/server/fs/vfs/main.c 	int old_fd, new_fd;
old_fd            547 usr/server/fs/vfs/main.c 	old_fd = msg->data[0];
old_fd            549 usr/server/fs/vfs/main.c 	if (old_fd >= OPEN_MAX || new_fd >= OPEN_MAX)
old_fd            551 usr/server/fs/vfs/main.c 	fp = t->t_ofile[old_fd];