24 // SAFETY: A call to `unregister` for a given instance of `RegType` is guaranteed to be valid if
42         // SAFETY: `adrv` is guaranteed to be a valid `RegType`.  in register()
49         // SAFETY: `adrv` is guaranteed to be a valid `RegType`.  in unregister()
59         // SAFETY: The auxiliary bus only ever calls the probe callback with a valid pointer to a  in probe_callback()
62         // INVARIANT: `adev` is valid for the duration of `probe_callback()`.  in probe_callback()
79         // SAFETY: The auxiliary bus only ever calls the probe callback with a valid pointer to a  in remove_callback()
82         // INVARIANT: `adev` is valid for the duration of `probe_callback()`.  in remove_callback()
114         // SAFETY: FFI type is valid to be zero-initialized.  in new()
198 /// A [`Device`] instance represents a valid `struct auxiliary_device` created by the C portion of
213         // SAFETY: By the type invariant `self.as_raw()` is a valid pointer to a  in id()
252         // SAFETY: By the type invariant of `Self`, `adev` is a pointer to a valid  in dec_ref()
263         // SAFETY: By the type invariant of `Self`, `self.as_raw()` is a pointer to a valid  in as_ref()
267         // SAFETY: `dev` points to a valid `struct device`.  in as_ref()
286 /// `self.0` always holds a valid pointer to an initialized and registered
304         // SAFETY: `adev` is guaranteed to be a valid pointer to a `struct auxiliary_device`,  in new()
313         // - `adev` is guaranteed to be a valid pointer to a `struct auxiliary_device`, which has  in new()
318             // SAFETY: `adev` is guaranteed to be a valid pointer to a `struct auxiliary_device`,  in new()
335         // SAFETY: By the type invariant of `Self`, `self.0.as_ptr()` is a valid registered  in drop()
341         // SAFETY: By the type invariant of `Self`, `self.0.as_ptr()` is a valid registered  in drop()