Lines Matching full:safety

85     /// # Safety
87     /// This method has the same safety requirements as [`Allocator::realloc`].
115         // SAFETY:
118         // - `ptr` is either NULL or valid by the safety requirements of this function.
149 // SAFETY: `realloc` delegates to `ReallocFunc::call`, which guarantees that
166         // SAFETY: `ReallocFunc::call` has the same safety requirements as `Allocator::realloc`.
187     ///     // SAFETY: By the type invariant of `Box` the inner pointer of `vbox` is non-null.
190     ///     // SAFETY:
195     ///     // SAFETY: There is no concurrent read or write to the same page.
201     /// # Safety
206         // SAFETY: `ptr` is a valid pointer to `Vmalloc` memory.
209         // SAFETY: `vmalloc_to_page` returns a valid pointer to a `struct page` for a valid pointer
213         // SAFETY:
214         // - `page` is a valid pointer to a `struct page`, given that by the safety requirements of
216         // - By the safety requirements of this function `ptr` is valid for the entire lifetime of
222 // SAFETY: `realloc` delegates to `ReallocFunc::call`, which guarantees that
237         // SAFETY: If not `None`, `ptr` is guaranteed to point to valid memory, which was previously
243 // SAFETY: `realloc` delegates to `ReallocFunc::call`, which guarantees that
262         // SAFETY: If not `None`, `ptr` is guaranteed to point to valid memory, which was previously