Lines Matching full:guaranteed
34 // SAFETY: A call to `unregister` for a given instance of `RegType` is guaranteed to be valid if
52 // SAFETY: `pdrv` is guaranteed to be a valid `RegType`.
59 // SAFETY: `pdrv` is guaranteed to be a valid `RegType`.
96 // `probe_callback`, hence it's guaranteed that `Device::set_drvdata()` has been called
357 // `ioptr` is guaranteed to be the start of a valid I/O mapped memory region.
386 // SAFETY: The safety requirements are guaranteed by the type invariant of `self.pdev`.
494 // - `bar` is a valid bar number, as guaranteed by the above call to `Bar::index_is_valid`,
506 // - `bar` is a valid bar number, as guaranteed by the above call to `Bar::index_is_valid`,
546 // SAFETY: `irq` is guaranteed to be a valid IRQ number for `&self`.
584 // SAFETY: `self.as_raw` is guaranteed to be a pointer to a valid `struct pci_dev`.
591 // SAFETY: `self.as_raw` is guaranteed to be a pointer to a valid `struct pci_dev`.
638 // hence `dev` must be embedded in a valid `struct pci_dev` as guaranteed by the