Lines Matching full:valid

95     // SAFETY: The caller ensures that `inode` is a valid pointer.
101     // * The `data` pointer passed in the third argument is a valid `T` pointer that outlives
110 /// `seq` must point to a live `seq_file` whose private data is a valid pointer to a `T` which may
116     // SAFETY: By caller precondition, this pointer is valid pointer to a `T`, and
160 /// `file` must be a valid pointer to a `file` struct.
161 /// The `private_data` of the file must contain a valid pointer to a `seq_file` whose
163 /// `buf` must be a valid user-space buffer.
206 /// `inode` must be a valid pointer to an `inode` struct.
207 /// `file` must be a valid pointer to a `file` struct.
212     // SAFETY: The caller ensures that `inode` and `file` are valid pointers.
219 /// * `file` must be a valid pointer to a `file` struct.
220 /// * The `private_data` of the file must contain a valid pointer to a `T` that implements
222 /// * `buf` must be a valid user-space buffer.
229     // SAFETY: The caller ensures that `file` is a valid pointer and that `private_data` holds a
230     // valid pointer to `T`.
263     // - `file` is a valid pointer to a `struct file`.
264     // - The type invariant of `FileOps` guarantees that `private_data` points to a valid `T`.
268     // - `ppos` is a valid `file::Offset` pointer.
301         // - The private data of `struct inode` does always contain a pointer to a valid `T`.
317     // - `file` is a valid pointer to a `struct file`.
318     // - The type invariant of `FileOps` guarantees that `private_data` points to a valid `T`.
322     // - `ppos` is a valid `file::Offset` pointer.
355         // - The private data of `struct inode` does always contain a pointer to a valid `T`.
380         // - The private data of `struct inode` does always contain a pointer to a valid `T`.