Lines Matching full:valid
27 // SAFETY: A call to `unregister` for a given instance of `RegType` is guaranteed to be valid if
56 // SAFETY: `pdrv` is guaranteed to be a valid `RegType`. in register()
61 // SAFETY: `pdrv` is guaranteed to be a valid `RegType`. in unregister()
68 // SAFETY: The platform bus only ever calls the probe callback with a valid pointer to a in probe_callback()
71 // INVARIANT: `pdev` is valid for the duration of `probe_callback()`. in probe_callback()
84 // SAFETY: The platform bus only ever calls the remove callback with a valid pointer to a in remove_callback()
87 // INVARIANT: `pdev` is valid for the duration of `probe_callback()`. in remove_callback()
218 /// A [`Device`] instance represents a valid `struct platform_device` created by the C portion of
233 // SAFETY: `self.as_raw()` returns a valid pointer to a `struct platform_device`. in resource_by_index()
242 // SAFETY: `resource` is a valid pointer to a `struct resource` as in resource_by_index()
249 // SAFETY: `self.as_raw()` returns a valid pointer to a `struct in resource_by_name()
250 // platform_device` and `name` points to a valid C string. in resource_by_name()
263 // SAFETY: `resource` is a valid pointer to a `struct resource` as in resource_by_name()
273 // SAFETY: `resource` is a valid resource for `&self` during the in io_request_by_index()
281 // SAFETY: `resource` is a valid resource for `&self` during the in io_request_by_name()
309 // SAFETY: By the type invariant of `Self`, `self.as_raw()` is a pointer to a valid in as_ref()
313 // SAFETY: `dev` points to a valid `struct device`. in as_ref()
322 // SAFETY: By the type invariant of `Device`, `dev.as_raw()` is a valid pointer to a in try_from()
329 // `bindings::platform_bus_type`, hence `dev` must be embedded in a valid in try_from()
333 // SAFETY: `pdev` is a valid pointer to a `struct platform_device`. in try_from()