Lines Matching defs:file

99 /**	\brief Structure to manage a mounted file system
190 // file descriptor operation prototypes
478 /** Tries to open the specified file system module.
479 * Accepts a file system name of the form "bfs" or "file_systems/bfs/v1".
480 * Returns a pointer to file system module interface, or NULL if it
503 /** Accepts a file system name of the form "bfs" or "file_systems/bfs/v1"
516 // the name already seems to be the module's file name
650 // The file system has removed the resources of the vnode now, so we can
671 * a file system.
768 * a file system.
868 /** Disconnects all file descriptors that are associated with the
1015 // '/' are not allowed in file names!
1139 // If a file system doesn't have the access() function, we assume that
1354 // vnode so we get the underlying file system
1421 * file system doesn't support this call, it will fall back to iterating
1429 * paths aren't safe anyway: the path to a file can change at any time.
1599 // ToDo: when we can close a file descriptor at any point, investigate
1629 * If \a fd is a valid file descriptor, \a path may be NULL for directories,
1672 // if the vnode is locked, we don't allow creating a new file descriptor for it
1727 and calls the file system hooks to read/write the request to disk.
1736 // There are no file vecs at this offset, so we're obviously trying
1737 // to access the file outside of its bounds
1773 // If the file portion was contiguous, we're already done now
1777 // if we reached the end of the file, we can return as well
1895 // file system integrity check:
2170 //! Works directly on the host's file system
2211 //! Works directly on the host's file system
2252 //! Works directly on the host's file system
2263 //! Works directly on the host's file system
2484 // wrong mount ID - must not gain access on foreign file system nodes
2497 /** Finds the full path to the file that contains the module \a moduleName,
2500 * \c FSSH_B_ENTRY_NOT_FOUNT if no file could be found.
2509 struct vnode *dir, *file;
2547 status = vnode_path_to_vnode(dir, path, true, 0, &file, NULL);
2553 if (FSSH_S_ISDIR(file->type)) {
2560 dir = file;
2561 } else if (FSSH_S_ISREG(file->type)) {
2562 // it's a file so it should be what we've searched for
2563 put_vnode(file);
2567 TRACE(("vfs_get_module_path(): something is strange here: %d...\n", file->type));
2569 dir = file;
2655 // insert a directory separator only if this is not the file system root
2762 // insert a directory separator if this is not the file system root
2787 /** Closes all file descriptors of the specified I/O context that
2955 * file descriptor for it
2998 * file descriptor for it
3021 * file descriptor for it
3034 // file is opened, create a fd
3047 * file descriptor for it.
3064 // file is opened, create a fd
3084 // get directory to put the new file in
3105 // get directory to put the new file in
3546 // Set file descriptor flags
3561 // Get file descriptor flags
3569 // Set file descriptor open mode
3585 // Get file descriptor open mode
4090 // now we only need a file descriptor for this attribute and we're done
4575 // If the file system is not a "virtual" one, the device argument should
4576 // point to a real file/device (if given at all).
4589 // correct path to file device
4652 // ToDo: why should we hide the error code from the file system here?
4687 // the root node is supposed to be owned by the file system - it must
4691 fssh_panic("fs_mount: file system does not own its root node!\n");
4771 // The root vnode ref_count needs to be 2 here: one for the file
4803 // the file system is still busy - but we're forced to unmount it,
4804 // so let's disconnect all open file descriptors
4857 // release the file system
4940 // fill in info the file system doesn't (have to) know about
4951 // if the call is not supported by the file system, there are still
5699 // The partition argument should point to a real file/device.
5706 // get the file system module
5723 // put the file system module, close partition