Lines Matching full:calls

123 /// `fdput`. The idea behind light refcounts is that if the fd is not closed between the calls to
176 /// * There must not be any active calls to `fdget_pos` on this file that did not take the
183 // SAFETY: This file is known to not have any active `fdget_pos` calls that did not take the
187 // SAFETY: This file is known to not have any active `fdget_pos` calls that did not take the
246     /// The file descriptor belongs to the current process, and there might be active local calls
259         // INVARIANT: This file is in the fd table on this thread, so either all `fdget_pos` calls  in fget()
260         // are on this thread, or the file is shared, in which case `fdget_pos` calls took the  in fget()
278         // INVARIANT: The caller guarantees that there are no problematic `fdget_pos` calls.  in from_raw_file()
282     /// Assume that there are no active `fdget_pos` calls that prevent us from sharing this file.
289     /// statically that there are no `fdget_pos` calls on the current thread. For example, you
295     /// There must not be any active `fdget_pos` calls on the current thread.
298         // INVARIANT: There are no `fdget_pos` calls on the current thread, and by the type  in assume_no_fdget_pos()
345     /// * The caller must ensure that if there are active `fdget_pos` calls on this file, then they
352         // INVARIANT: The caller guarantees that there are no problematic `fdget_pos` calls.  in from_raw_file()
365         // By the type invariants, there are no `fdget_pos` calls that did not take the  in deref()
423         // Additionally, the file is known to not have any non-shared `fdget_pos` calls, so even if  in fd_install()