summaryrefslogtreecommitdiff
path: root/rust/kernel/faux.rs
diff options
context:
space:
mode:
Diffstat (limited to 'rust/kernel/faux.rs')
-rw-r--r--rust/kernel/faux.rs18
1 files changed, 13 insertions, 5 deletions
diff --git a/rust/kernel/faux.rs b/rust/kernel/faux.rs
index 43b4974f48cd..36c92ae2943c 100644
--- a/rust/kernel/faux.rs
+++ b/rust/kernel/faux.rs
@@ -25,7 +25,8 @@ use core::ptr::{
///
/// # Invariants
///
-/// `self.0` always holds a valid pointer to an initialized and registered [`struct faux_device`].
+/// - `self.0` always holds a valid pointer to an initialized and registered [`struct faux_device`].
+/// - This object is proof that the object described by this `Registration` is bound to a device.
///
/// [`struct faux_device`]: srctree/include/linux/device/faux.h
pub struct Registration(NonNull<bindings::faux_device>);
@@ -59,10 +60,17 @@ impl Registration {
}
}
-impl AsRef<device::Device> for Registration {
- fn as_ref(&self) -> &device::Device {
- // SAFETY: The underlying `device` in `faux_device` is guaranteed by the C API to be
- // a valid initialized `device`.
+impl AsRef<device::Device<device::Bound>> for Registration {
+ fn as_ref(&self) -> &device::Device<device::Bound> {
+ // SAFETY:
+ // - The underlying `device` in `faux_device` is guaranteed by the C API to be a valid
+ // initialized `device`.
+ // - `faux_match()` always returns 1, and probe runs synchronously
+ // (PROBE_FORCE_SYNCHRONOUS).
+ // - `suppress_bind_attrs = true` on faux_driver prevents userspace-triggered unbind via
+ // sysfs.
+ // - `mem::forget(Registration)` is not a problem; if the `Registration` is leaked, the faux
+ // device stays bound forever.
unsafe { device::Device::from_raw(addr_of_mut!((*self.as_raw()).dev)) }
}
}