Lines Matching full:initialized

119         // SAFETY: `tagset.raw_tag_set()` points to a valid and initialized tag set
153         // SAFETY: `gendisk` is a valid pointer as we initialized it above
157             // SAFETY: `gendisk` points to a valid and initialized instance. We
165         // SAFETY: `gendisk` points to a valid and initialized instance of
171             // SAFETY: `gendisk` points to a valid and initialized instance of
180         // INVARIANT: `gendisk` was initialized above.
195 ///  - `gendisk` must always point to an initialized and valid `struct gendisk`.
198 ///  - `self.gendisk.queue.queuedata` is initialized by a call to `ForeignOwnable::into_foreign`.
211         // and initialized instance of `struct gendisk`, and, `queuedata` was
212         // initialized with the result of a call to
217         // initialized instance of `struct gendisk`, and it was previously added