Lines Matching full:safety

56 // SAFETY: `SGEntry` can be sent to any task.
59 // SAFETY: `SGEntry` has no interior mutability and can be accessed concurrently.
65 /// # Safety
71 // SAFETY: The safety requirements of this function guarantee that `ptr` is a valid pointer
87 // SAFETY: `self.as_raw()` is a valid pointer to a `struct scatterlist`.
95 // SAFETY: `self.as_raw()` is a valid pointer to a `struct scatterlist`.
105 // SAFETY: `Borrowed` can be sent to any task.
108 // SAFETY: `Borrowed` has no interior mutability and can be accessed concurrently.
138 /// # Safety
146 // SAFETY: The safety requirements of this function guarantee that `ptr` is a valid pointer
158 // SAFETY: `self.as_raw()` is a valid pointer to a `struct sg_table`.
162 // SAFETY: `self.as_raw()` is a valid pointer to a `struct sg_table`.
165 // SAFETY: `ptr` is guaranteed to be a valid pointer to a `struct scatterlist`.
190 // SAFETY: `DmaMappedSgt` can be sent to any task.
193 // SAFETY: `DmaMappedSgt` has no interior mutability and can be accessed concurrently.
197 /// # Safety
208 // SAFETY:
216 // INVARIANT: By the safety requirements of this function it is guaranteed that `sgt` is
229 // SAFETY:
249 // SAFETY: `RawSGTable` can be sent to any task.
252 // SAFETY: `RawSGTable` has no interior mutability and can be accessed concurrently.
256 /// # Safety
274 // SAFETY:
301 // SAFETY: `sgt` is a valid and initialized `struct sg_table`.
326 // SAFETY: `Owned` can be sent to any task if `P` can be send to any task.
329 // SAFETY: `Owned` has no interior mutability and can be accessed concurrently if `P` can be
356 // SAFETY: `dev.as_raw()` is a valid pointer to a `struct device`.
363 // SAFETY:
369 // SAFETY: `this` is a valid pointer to uninitialized memory.
372 // SAFETY: `sgt` is guaranteed to be non-null.
375 // SAFETY:
449 // SAFETY:
481 // SAFETY: `entry.as_raw()` is a valid pointer to a `struct scatterlist`.
485 // SAFETY: If `next` is not NULL, `sg_next()` guarantees to return a valid pointer to