rust/kernel/init.rs

143 //! /// `foo` is always initialized
155 //!         // - when the closure returns `Ok(())`, then it has successfully initialized and
174 //!                 // All fields of `RawFoo` have been initialized, since `_p` is a ZST.
184 //!         // SAFETY: Since `foo` is initialized, destroying is safe.
398 /// The fields are initialized in the order that they appear in the initializer. So it is possible
399 /// to read already initialized fields using raw pointers.
512 /// This signifies that the given field is initialized in-place. As with `struct` initializers, just
652 /// - the fields are initialized in the order given in the initializer.
689 /// - the fields are initialized in the order given in the initializer.
758 /// - returns `Ok(())` if it initialized every field of `slot`,
762 ///     - `slot` is not partially initialized.
779     /// First initializes the value using `self` then calls the function `f` with the initialized
841         // SAFETY: The above call initialized `slot` and we still have unique access.  in __pinned_init()
846             // SAFETY: `slot` was initialized above.  in __pinned_init()
868 /// - returns `Ok(())` if it initialized every field of `slot`,
872 ///     - `slot` is not partially initialized.
893     /// First initializes the value using `self` then calls the function `f` with the initialized
942         // SAFETY: The above call initialized `slot` and we still have unique access.  in __init()
944             // SAFETY: `slot` was initialized above.  in __init()
968 /// - returns `Ok(())` if it initialized every field of `slot`,
972 ///     - `slot` is not partially initialized.
987 /// - returns `Ok(())` if it initialized every field of `slot`,
991 ///     - `slot` is not partially initialized.
1027         // Counts the number of initialized elements and when dropped drops that many elements from
1030             // We now free every element that has been initialized before:
1031             // SAFETY: The loop initialized exactly the values from 0..i and since we
1049     // any initialized elements and returns `Err`.
1071         // Counts the number of initialized elements and when dropped drops that many elements from
1074             // We now free every element that has been initialized before:
1075             // SAFETY: The loop initialized exactly the values from 0..i and since we
1093     // any initialized elements and returns `Err`.
1097 // SAFETY: Every type can be initialized by-value.
1105 // SAFETY: Every type can be initialized by-value. `__pinned_init` calls `__init`.
1166         // SAFETY: All fields have been initialized.  in try_pin_init()
1180         // SAFETY: All fields have been initialized.  in try_init()
1196         // SAFETY: All fields have been initialized.  in try_pin_init()
1210         // SAFETY: All fields have been initialized.  in try_init()
1254 /// Marker trait for types that can be initialized by writing just zeroes.
1272     // and because we write all zeroes, the memory is initialized.  in zeroed()