kernel/debugfs/file_ops.rs

95     // SAFETY: The caller ensures that `inode` is a valid pointer.  in writer_open()
101     // * The `data` pointer passed in the third argument is a valid `T` pointer that outlives  in writer_open()
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  in writer_act()
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.  in write_only_open()
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  in write_only_write()
230     // valid pointer to `T`.  in write_only_write()
263     // - `file` is a valid pointer to a `struct file`.  in blob_read()
264     // - The type invariant of `FileOps` guarantees that `private_data` points to a valid `T`.  in blob_read()
268     // - `ppos` is a valid `file::Offset` pointer.  in blob_read()
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`.  in blob_write()
318     // - The type invariant of `FileOps` guarantees that `private_data` points to a valid `T`.  in blob_write()
322     // - `ppos` is a valid `file::Offset` pointer.  in blob_write()
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`.