Lines Matching full:safety

74     /// # Safety
76     /// This method has the same safety requirements as [`Allocator::realloc`].
104         // SAFETY:  in call()
107         // - `ptr` is either NULL or valid by the safety requirements of this function.  in call()
138 // SAFETY: `realloc` delegates to `ReallocFunc::call`, which guarantees that
155         // SAFETY: `ReallocFunc::call` has the same safety requirements as `Allocator::realloc`.  in realloc()
173     ///     // SAFETY: By the type invariant of `Box` the inner pointer of `vbox` is non-null.
176     ///     // SAFETY:
181     ///     // SAFETY: There is no concurrent read or write to the same page.
187     /// # Safety
192         // SAFETY: `ptr` is a valid pointer to `Vmalloc` memory.  in to_page()
195         // SAFETY: `vmalloc_to_page` returns a valid pointer to a `struct page` for a valid pointer  in to_page()
199         // SAFETY:  in to_page()
200         // - `page` is a valid pointer to a `struct page`, given that by the safety requirements of  in to_page()
202         // - By the safety requirements of this function `ptr` is valid for the entire lifetime of  in to_page()
208 // SAFETY: `realloc` delegates to `ReallocFunc::call`, which guarantees that
223         // SAFETY: If not `None`, `ptr` is guaranteed to point to valid memory, which was previously  in realloc()
229 // SAFETY: `realloc` delegates to `ReallocFunc::call`, which guarantees that
248         // SAFETY: If not `None`, `ptr` is guaranteed to point to valid memory, which was previously  in realloc()