/* * Open a file given a file handle. * * Check permissions, allocate an open file structure, * and call the device open routine if any. */