Lines Matching full:invariant

72         // INVARIANT: `pdev` is valid for the duration of `probe_callback()`.
92         // INVARIANT: `pdev` is valid for the duration of `remove_callback()`.
386         // SAFETY: The safety requirements are guaranteed by the type invariant of `self.pdev`.
409         // SAFETY: By the type invariant of `Self`, the MMIO range in `self.io` is properly mapped.
450         // SAFETY: By its type invariant `self.as_raw` is always a valid pointer to a
458         // SAFETY: By its type invariant `self.as_raw` is always a valid pointer to a
466         // SAFETY: By its type invariant `self.as_raw` is always a valid pointer to a
474         // SAFETY: By its type invariant `self.as_raw` is always a valid pointer to a
482         // SAFETY: By its type invariant `self.as_raw` is always a valid pointer to a
495         // - by its type invariant `self.as_raw` is always a valid pointer to a `struct pci_dev`.
507         // - by its type invariant `self.as_raw` is always a valid pointer to a `struct pci_dev`.
618         // SAFETY: By the type invariant of `Self`, `self.as_raw()` is a pointer to a valid
631         // SAFETY: By the type invariant of `Device`, `dev.as_raw()` is a valid pointer to a