Lines Matching full:safety

30     /// # Safety
52         // SAFETY: `Adapter` asserts that `T` can be legally cast to `T::Inner`.  in adapt()
76 /// # Safety
85     // SAFETY: The caller ensures that `inode` is a valid pointer.  in writer_open()
87     // SAFETY:  in writer_open()
90     //   so we meet its safety requirements.  in writer_open()
98 /// # Safety
106     // SAFETY: By caller precondition, this pointer is valid pointer to a `T`, and  in writer_act()
109     // SAFETY: By caller precondition, `seq_file` points to a live `seq_file`, so we can lift  in writer_act()
128             // SAFETY: `file_operations` supports zeroes in all fields.
131         // SAFETY: `operations` is all stock `seq_file` implementations except for `writer_open`.
149 /// # Safety
161     // SAFETY: The file was opened with `single_open`, which sets `private_data` to a `seq_file`.  in write()
163     // SAFETY: By caller precondition, this pointer is live and points to a value of type `T`.  in write()
181             // SAFETY: `file_operations` supports zeroes in all fields.
184         // SAFETY: `operations` is all stock `seq_file` implementations except for `writer_open`
196 /// # Safety
204     // SAFETY: The caller ensures that `inode` and `file` are valid pointers.  in write_only_open()
209 /// # Safety
221     // SAFETY: The caller ensures that `file` is a valid pointer and that `private_data` holds a  in write_only_write()
237             // SAFETY: `file_operations` supports zeroes in all fields.
240         // SAFETY: