57 // SAFETY: A call to `unregister` for a given instance of `DriverType` is guaranteed to be valid if
84         // SAFETY: `pdrv` is guaranteed to be a valid `DriverType`.  in register()
89         // SAFETY: `pdrv` is guaranteed to be a valid `DriverType`.  in unregister()
96         // SAFETY: The platform bus only ever calls the probe callback with a valid pointer to a  in probe_callback()
99         // INVARIANT: `pdev` is valid for the duration of `probe_callback()`.  in probe_callback()
112         // SAFETY: The platform bus only ever calls the remove callback with a valid pointer to a  in remove_callback()
115         // INVARIANT: `pdev` is valid for the duration of `remove_callback()`.  in remove_callback()
253 /// A [`Device`] instance represents a valid `struct platform_device` created by the C portion of
268         // SAFETY: `self.as_raw()` returns a valid pointer to a `struct platform_device`.  in resource_by_index()
277         // SAFETY: `resource` is a valid pointer to a `struct resource` as  in resource_by_index()
284         // SAFETY: `self.as_raw()` returns a valid pointer to a `struct  in resource_by_name()
285         // platform_device` and `name` points to a valid C string.  in resource_by_name()
298         // SAFETY: `resource` is a valid pointer to a `struct resource` as  in resource_by_name()
308             // SAFETY: `resource` is a valid resource for `&self` during the  in io_request_by_index()
316             // SAFETY: `resource` is a valid resource for `&self` during the  in io_request_by_name()
323 // The offset is guaranteed to point to a valid device field inside `platform::Device`.
389         // SAFETY: `self.as_raw` returns a valid pointer to a `struct platform_device`.  in irq_by_index()
396         // SAFETY: `irq` is guaranteed to be a valid IRQ number for `&self`.  in irq_by_index()
403         // SAFETY: `self.as_raw` returns a valid pointer to a `struct platform_device`.  in optional_irq_by_index()
410         // SAFETY: `irq` is guaranteed to be a valid IRQ number for `&self`.  in optional_irq_by_index()
416         // SAFETY: `self.as_raw` returns a valid pointer to a `struct platform_device`.  in irq_by_name()
423         // SAFETY: `irq` is guaranteed to be a valid IRQ number for `&self`.  in irq_by_name()
430         // SAFETY: `self.as_raw` returns a valid pointer to a `struct platform_device`.  in optional_irq_by_name()
439         // SAFETY: `irq` is guaranteed to be a valid IRQ number for `&self`.  in optional_irq_by_name()
529         // SAFETY: By the type invariant of `Self`, `self.as_raw()` is a pointer to a valid  in as_ref()
533         // SAFETY: `dev` points to a valid `struct device`.  in as_ref()
542         // SAFETY: By the type invariant of `Device`, `dev.as_raw()` is a valid pointer to a  in try_from()
549         // `bindings::platform_bus_type`, hence `dev` must be embedded in a valid  in try_from()
553         // SAFETY: `pdev` is a valid pointer to a `struct platform_device`.  in try_from()