Lines Matching defs:Device

28 /// The [`dma::Device`](Device) trait should be implemented by bus specific device representations,
29 /// where the underlying bus is DMA capable, such as [`pci::Device`](::kernel::pci::Device) or
30 /// [`platform::Device`](::kernel::platform::Device).
31 pub trait Device: AsRef<device::Device<Core>> {
43         // - By the type invariant of `device::Device`, `self.as_ref().as_raw()` is valid.
60         // - By the type invariant of `device::Device`, `self.as_ref().as_raw()` is valid.
68     /// This is a combination of [`Device::dma_set_mask`] and [`Device::dma_set_coherent_mask`].
79         // - By the type invariant of `device::Device`, `self.as_ref().as_raw()` is valid.
177 /// # use kernel::device::{Bound, Device};
180 /// # fn test(dev: &Device<Bound>) -> Result {
355     dev: ARef<device::Device>,
368     /// # use kernel::device::{Bound, Device};
371     /// # fn test(dev: &Device<Bound>) -> Result {
377         dev: &device::Device<Bound>,
391         // SAFETY: Device pointer is guaranteed as valid by the type invariant on `Device`.
422         dev: &device::Device<Bound>,
630         // SAFETY: Device pointer is guaranteed as valid by the type invariant on `Device`.
654 /// use kernel::device::Device;
698 /// use kernel::device::Device;