Lines Matching full:there

149 /// is not shared; it is okay if there are other fd tables that also reference the same `struct
162 ///   count stays positive, and can only be created when there is some mechanism in place to ensure
178 /// * There must not be any active calls to `fdget_pos` on this file that did not take the
220 /// * If there is an active call to `fdget_pos` that did not take the `f_pos_lock` mutex, then it
250     /// The file descriptor belongs to the current process, and there might be active local calls
258         // SAFETY: FFI call, there are no requirements on `fd`.
275     /// * The caller must ensure that if there is an active call to `fdget_pos` that did not take
282         // INVARIANT: The caller guarantees that there are no problematic `fdget_pos` calls.
286     /// Assume that there are no active `fdget_pos` calls that prevent us from sharing this file.
293     /// statically that there are no `fdget_pos` calls on the current thread. For example, you
299     /// There must not be any active `fdget_pos` calls on the current thread.
302         // INVARIANT: There are no `fdget_pos` calls on the current thread, and by the type
303         // invariants, if there is a `fdget_pos` call on another thread, then it took the
349     /// * The caller must ensure that if there are active `fdget_pos` calls on this file, then they
356         // INVARIANT: The caller guarantees that there are no problematic `fdget_pos` calls.
369         // By the type invariants, there are no `fdget_pos` calls that did not take the
401         // SAFETY: FFI call, there are no safety requirements on `flags`.