Lines Matching full:valid
71 // SAFETY: A call to `unregister` for a given instance of `DriverType` is guaranteed to be valid if
87 // SAFETY: `pdrv` is guaranteed to be a valid `DriverType`. in register()
94 // SAFETY: `pdrv` is guaranteed to be a valid `DriverType`. in unregister()
104 // SAFETY: The PCI bus only ever calls the probe callback with a valid pointer to a in probe_callback()
107 // INVARIANT: `pdev` is valid for the duration of `probe_callback()`. in probe_callback()
124 // SAFETY: The PCI bus only ever calls the remove callback with a valid pointer to a in remove_callback()
127 // INVARIANT: `pdev` is valid for the duration of `remove_callback()`. in remove_callback()
335 /// A [`Device`] instance represents a valid `struct pci_dev` created by the C portion of the
371 // SAFETY: `self.as_raw` is a valid pointer to a `struct pci_dev`. in vendor_id()
379 // SAFETY: By its type invariant `self.as_raw` is always a valid pointer to a in device_id()
387 // SAFETY: By its type invariant `self.as_raw` is always a valid pointer to a in revision_id()
395 // SAFETY: By its type invariant `self.as_raw` is always a valid pointer to a in dev_id()
403 // SAFETY: By its type invariant `self.as_raw` is always a valid pointer to a in subsystem_vendor_id()
411 // SAFETY: By its type invariant `self.as_raw` is always a valid pointer to a in subsystem_device_id()
423 // - `bar` is a valid bar number, as guaranteed by the above call to `Bar::index_is_valid`, in resource_start()
424 // - by its type invariant `self.as_raw` is always a valid pointer to a `struct pci_dev`. in resource_start()
435 // - `bar` is a valid bar number, as guaranteed by the above call to `Bar::index_is_valid`, in resource_len()
436 // - by its type invariant `self.as_raw` is always a valid pointer to a `struct pci_dev`. in resource_len()
443 // SAFETY: `self.as_raw` is a valid pointer to a `struct pci_dev`. in pci_class()
451 // SAFETY: `self.as_raw` is guaranteed to be a pointer to a valid `struct pci_dev`. in enable_device_mem()
458 // SAFETY: `self.as_raw` is guaranteed to be a pointer to a valid `struct pci_dev`. in set_master()
464 // The offset is guaranteed to point to a valid device field inside `pci::Device`.
491 // SAFETY: By the type invariant of `Self`, `self.as_raw()` is a pointer to a valid in as_ref()
495 // SAFETY: `dev` points to a valid `struct device`. in as_ref()
504 // SAFETY: By the type invariant of `Device`, `dev.as_raw()` is a valid pointer to a in try_from()
511 // hence `dev` must be embedded in a valid `struct pci_dev` as guaranteed by the in try_from()
515 // SAFETY: `pdev` is a valid pointer to a `struct pci_dev`. in try_from()