/* * Look up the file structure corresponding to a file descriptor * and return the file, holding a reference on the descriptor. */