26 // SAFETY: A call to `unregister` for a given instance of `RegType` is guaranteed to be valid if
44         // SAFETY: `pdrv` is guaranteed to be a valid `RegType`.  in register()
51         // SAFETY: `pdrv` is guaranteed to be a valid `RegType`.  in unregister()
61         // SAFETY: The PCI bus only ever calls the probe callback with a valid pointer to a  in probe_callback()
64         // SAFETY: `dev` is guaranteed to be embedded in a valid `struct pci_dev` by the call  in probe_callback()
76                 // SAFETY: By the type invariant `pdev.as_raw` returns a valid pointer to a  in probe_callback()
87         // SAFETY: The PCI bus only ever calls the remove callback with a valid pointer to a  in remove_callback()
92         // `probe_callback`, hence it's guaranteed that `ptr` points to a valid and initialized  in remove_callback()
247 /// `Device` hold a valid reference of `ARef<device::Device>` whose underlying `struct device` is a
256 /// `Bar` always holds an `IoRaw` inststance that holds a valid pointer to the start of the I/O
275         // `pdev` is valid by the invariants of `Device`.  in new()
277         // `name` is always valid.  in new()
284         // `pdev` is valid by the invariants of `Device`.  in new()
286         // `name` is always valid.  in new()
290             // `pdev` valid by the invariants of `Device`.  in new()
300                 // `pdev` is valid by the invariants of `Device`.  in new()
301                 // `ioptr` is guaranteed to be the start of a valid I/O mapped memory region.  in new()
313     /// `ioptr` must be a valid pointer to the memory mapped PCI bar number `num`.
316         // `pdev` is valid by the invariants of `Device`.  in do_release()
317         // `ioptr` is valid by the safety requirements.  in do_release()
318         // `num` is valid by the safety requirements.  in do_release()
372         // SAFETY: `self.as_raw` is a valid pointer to a `struct pci_dev`.  in vendor_id()
378         // SAFETY: `self.as_raw` is a valid pointer to a `struct pci_dev`.  in device_id()
384         // SAFETY: `self.as_raw` is guaranteed to be a pointer to a valid `struct pci_dev`.  in enable_device_mem()
395         // SAFETY: `self.as_raw` is guaranteed to be a pointer to a valid `struct pci_dev`.  in set_master()
406         // - `bar` is a valid bar number, as guaranteed by the above call to `Bar::index_is_valid`,  in resource_len()
407         // - by its type invariant `self.as_raw` is always a valid pointer to a `struct pci_dev`.  in resource_len()