Lines Matching full:safety

42 // SAFETY: Pages have no logic that relies on them staying on a given thread, so moving them across
46 // SAFETY: Pages have no logic that relies on them not being accessed concurrently, so accessing
73         // SAFETY: Depending on the value of `gfp_flags`, this call may sleep. Other than that, it  in alloc_page()
104         // SAFETY: `page` is valid due to the type invariants on `Page`.  in with_page_mapped()
111         // SAFETY: Since this API takes the user code as a closure, it can only be used in a manner  in with_page_mapped()
154                 // SAFETY: The `off` integer is at most `PAGE_SIZE`, so this pointer offset will  in with_pointer_into_page()
168     /// # Safety
175             // SAFETY: If `with_pointer_into_page` calls into this closure, then  in read_raw()
190     /// # Safety
197             // SAFETY: If `with_pointer_into_page` calls into this closure, then it has performed a  in write_raw()
211     /// # Safety
217             // SAFETY: If `with_pointer_into_page` calls into this closure, then it has performed a  in fill_zero_raw()
234     /// # Safety
245             // SAFETY: If `with_pointer_into_page` calls into this closure, then it has performed a  in copy_from_user_slice_raw()
255         // SAFETY: By the type invariants, we have ownership of the page and can free it.  in drop()