From: Daniel Almeida <daniel.almeida@collabora.com>
To: Gary Guo <gary@garyguo.net>
Cc: "Alice Ryhl" <aliceryhl@google.com>,
"Greg Kroah-Hartman" <gregkh@linuxfoundation.org>,
"Rafael J. Wysocki" <rafael@kernel.org>,
"Miguel Ojeda" <ojeda@kernel.org>,
"Boqun Feng" <boqun@kernel.org>,
"Björn Roy Baron" <bjorn3_gh@protonmail.com>,
"Benno Lossin" <lossin@kernel.org>,
"Andreas Hindborg" <a.hindborg@kernel.org>,
"Trevor Gross" <tmgross@umich.edu>,
"Tamir Duberstein" <tamird@kernel.org>,
"Onur Özkan" <work@onurozkan.dev>,
"Bjorn Helgaas" <bhelgaas@google.com>,
"Krzysztof Wilczyński" <kwilczynski@kernel.org>,
"Abdiel Janulgue" <abdiel.janulgue@gmail.com>,
"Robin Murphy" <robin.murphy@arm.com>,
"Alexandre Courbot" <acourbot@nvidia.com>,
"David Airlie" <airlied@gmail.com>,
"Simona Vetter" <simona@ffwll.ch>,
"Michal Wilczynski" <m.wilczynski@samsung.com>,
"Uwe Kleine-König" <ukleinek@kernel.org>,
"Danilo Krummrich" <dakr@kernel.org>,
driver-core@lists.linux.dev, rust-for-linux@vger.kernel.org,
linux-kernel@vger.kernel.org, linux-pci@vger.kernel.org,
nova-gpu@lists.linux.dev, dri-devel@lists.freedesktop.org,
linux-pwm@vger.kernel.org
Subject: Re: [PATCH v6 11/20] rust: io: remove `MmioOwned`
Date: Wed, 8 Jul 2026 11:48:33 -0300 [thread overview]
Message-ID: <BB56CB09-819F-48D3-8C71-B85C33E03065@collabora.com> (raw)
In-Reply-To: <20260706-io_projection-v6-11-72cd5d055d54@garyguo.net>
> On 6 Jul 2026, at 09:44, Gary Guo <gary@garyguo.net> wrote:
>
> `Io` trait is now very easy to implement. Thus, implement it on `Bar` and
> `IoMem` directly and remove the `MmioOwned` struct.
>
> Reviewed-by: Alexandre Courbot <acourbot@nvidia.com>
> Signed-off-by: Gary Guo <gary@garyguo.net>
> ---
> rust/kernel/devres.rs | 12 +++---
> rust/kernel/io.rs | 103 +-------------------------------------------------
> rust/kernel/io/mem.rs | 26 +++++++------
> rust/kernel/pci/io.rs | 16 ++++----
> 4 files changed, 32 insertions(+), 125 deletions(-)
>
> diff --git a/rust/kernel/devres.rs b/rust/kernel/devres.rs
> index aed0c994fd30..3545ffc5345d 100644
> --- a/rust/kernel/devres.rs
> +++ b/rust/kernel/devres.rs
> @@ -68,8 +68,9 @@ struct Inner<T> {
> /// devres::Devres,
> /// io::{
> /// Io,
> -/// MmioOwned,
> +/// Mmio,
> /// MmioRaw,
> +/// MmioBackend,
> /// PhysAddr,
> /// Region, //
> /// },
> @@ -104,12 +105,13 @@ struct Inner<T> {
> /// }
> /// }
> ///
> -/// impl<const SIZE: usize> Deref for IoMem<SIZE> {
> -/// type Target = MmioOwned<SIZE>;
> +/// impl<'a, const SIZE: usize> Io<'a> for &'a IoMem<SIZE> {
> +/// type Backend = MmioBackend;
> +/// type Target = Region<SIZE>;
> ///
> -/// fn deref(&self) -> &Self::Target {
> +/// fn as_view(self) -> Mmio<'a, Region<SIZE>> {
> /// // SAFETY: The memory range stored in `self` has been properly mapped in `Self::new`.
> -/// unsafe { MmioOwned::from_raw(&self.0) }
> +/// unsafe { Mmio::from_raw(self.0) }
> /// }
> /// }
> /// # fn no_run(dev: &Device<Bound>) -> Result<(), Error> {
> diff --git a/rust/kernel/io.rs b/rust/kernel/io.rs
> index 89039b3defd5..c7533d605678 100644
> --- a/rust/kernel/io.rs
> +++ b/rust/kernel/io.rs
> @@ -98,8 +98,8 @@ fn size(p: *const Self) -> usize {
> /// the represented MMIO region does exist or is properly mapped.
> ///
> /// Instead, the bus specific MMIO implementation must convert this raw representation into an
> -/// `MmioOwned` instance providing the actual memory accessors. Only by the conversion into an
> -/// `MmioOwned` structure any guarantees are given.
> +/// `Mmio` instance providing the actual memory accessors. Only by the conversion into an `Mmio`
> +/// structure any guarantees are given.
> pub struct MmioRaw<T: ?Sized> {
> /// Pointer is in I/O address space.
> ///
> @@ -156,80 +156,6 @@ pub fn size(&self) -> usize {
> }
> }
>
> -/// IO-mapped memory region.
> -///
> -/// The creator (usually a subsystem / bus such as PCI) is responsible for creating the
> -/// mapping, performing an additional region request etc.
> -///
> -/// # Invariant
> -///
> -/// `addr` is the start and `maxsize` the length of valid I/O mapped memory region of size
> -/// `maxsize`.
> -///
> -/// # Examples
> -///
> -/// ```no_run
> -/// use kernel::{
> -/// bindings,
> -/// ffi::c_void,
> -/// io::{
> -/// Io,
> -/// MmioOwned,
> -/// MmioRaw,
> -/// PhysAddr,
> -/// Region,
> -/// },
> -/// };
> -/// use core::ops::Deref;
> -///
> -/// // See also `pci::Bar` for a real example.
> -/// struct IoMem<const SIZE: usize>(MmioRaw<Region<SIZE>>);
> -///
> -/// impl<const SIZE: usize> IoMem<SIZE> {
> -/// /// # Safety
> -/// ///
> -/// /// [`paddr`, `paddr` + `SIZE`) must be a valid MMIO region that is mappable into the CPUs
> -/// /// virtual address space.
> -/// unsafe fn new(paddr: usize) -> Result<Self>{
> -/// // SAFETY: By the safety requirements of this function [`paddr`, `paddr` + `SIZE`) is
> -/// // valid for `ioremap`.
> -/// let addr = unsafe { bindings::ioremap(paddr as PhysAddr, SIZE) };
> -/// if addr.is_null() {
> -/// return Err(ENOMEM);
> -/// }
> -///
> -/// Ok(IoMem(MmioRaw::new_region(addr as usize, SIZE)?))
> -/// }
> -/// }
> -///
> -/// impl<const SIZE: usize> Drop for IoMem<SIZE> {
> -/// fn drop(&mut self) {
> -/// // SAFETY: `self.0.addr()` is guaranteed to be properly mapped by `Self::new`.
> -/// unsafe { bindings::iounmap(self.0.addr() as *mut c_void); };
> -/// }
> -/// }
> -///
> -/// impl<const SIZE: usize> Deref for IoMem<SIZE> {
> -/// type Target = MmioOwned<SIZE>;
> -///
> -/// fn deref(&self) -> &Self::Target {
> -/// // SAFETY: The memory range stored in `self` has been properly mapped in `Self::new`.
> -/// unsafe { MmioOwned::from_raw(&self.0) }
> -/// }
> -/// }
> -///
> -///# fn no_run() -> Result<(), Error> {
> -/// // SAFETY: Invalid usage for example purposes.
> -/// let iomem = unsafe { IoMem::<{ core::mem::size_of::<u32>() }>::new(0xBAAAAAAD)? };
> -/// iomem.write32(0x42, 0x0);
> -/// assert!(iomem.try_write32(0x42, 0x0).is_ok());
> -/// assert!(iomem.try_write32(0x42, 0x4).is_err());
> -/// # Ok(())
> -/// # }
> -/// ```
> -#[repr(transparent)]
> -pub struct MmioOwned<const SIZE: usize = 0>(MmioRaw<Region<SIZE>>);
> -
> /// Checks whether an access of type `U` at the given `base` and the given `offset`
> /// is valid within this region.
> ///
> @@ -957,31 +883,6 @@ fn io_write(view: <$backend as IoBackend>::View<'_, $ty>, value: $ty) {
> #[cfg(CONFIG_64BIT)]
> impl_mmio_io_capable!(MmioBackend, u64, readq, writeq);
>
> -impl<'a, const SIZE: usize> Io<'a> for &'a MmioOwned<SIZE> {
> - type Backend = MmioBackend;
> - type Target = Region<SIZE>;
> -
> - #[inline]
> - fn as_view(self) -> Mmio<'a, Self::Target> {
> - // SAFETY: `Mmio` has same invariant as `MmioOwned`
> - unsafe { Mmio::from_raw(self.0) }
> - }
> -}
> -
> -impl<const SIZE: usize> MmioOwned<SIZE> {
> - /// Converts an `MmioRaw` into an `MmioOwned` instance, providing the accessors to the MMIO
> - /// mapping.
> - ///
> - /// # Safety
> - ///
> - /// Callers must ensure that `addr` is the start of a valid I/O mapped memory region of size
> - /// `maxsize`.
> - pub unsafe fn from_raw(raw: &MmioRaw<Region<SIZE>>) -> &Self {
> - // SAFETY: `MmioOwned` is a transparent wrapper around `MmioRaw`.
> - unsafe { &*core::ptr::from_ref(raw).cast() }
> - }
> -}
> -
> /// [`Mmio`] but using relaxed accessors.
> ///
> /// This type provides an implementation of [`Io`] that uses relaxed I/O MMIO operands instead of
> diff --git a/rust/kernel/io/mem.rs b/rust/kernel/io/mem.rs
> index 8f6c257c5b8e..d9b3189d09b4 100644
> --- a/rust/kernel/io/mem.rs
> +++ b/rust/kernel/io/mem.rs
> @@ -2,8 +2,6 @@
>
> //! Generic memory-mapped IO.
>
> -use core::ops::Deref;
> -
> use crate::{
> device::{
> Bound,
> @@ -16,7 +14,9 @@
> Region,
> Resource, //
> },
> - MmioOwned,
> + Io,
> + Mmio,
> + MmioBackend,
> MmioRaw, //
> },
> prelude::*,
> @@ -210,11 +210,13 @@ pub fn into_devres(self) -> Result<Devres<ExclusiveIoMem<'static, SIZE>>> {
> }
> }
>
> -impl<const SIZE: usize> Deref for ExclusiveIoMem<'_, SIZE> {
> - type Target = MmioOwned<SIZE>;
> +impl<'a, const SIZE: usize> Io<'a> for &'a ExclusiveIoMem<'_, SIZE> {
> + type Backend = MmioBackend;
> + type Target = super::Region<SIZE>;
>
> - fn deref(&self) -> &Self::Target {
> - &self.iomem
> + #[inline]
> + fn as_view(self) -> Mmio<'a, Self::Target> {
> + self.iomem.as_view()
> }
> }
>
> @@ -290,11 +292,13 @@ fn drop(&mut self) {
> }
> }
>
> -impl<const SIZE: usize> Deref for IoMem<'_, SIZE> {
> - type Target = MmioOwned<SIZE>;
> +impl<'a, const SIZE: usize> Io<'a> for &'a IoMem<'_, SIZE> {
> + type Backend = MmioBackend;
> + type Target = super::Region<SIZE>;
>
> - fn deref(&self) -> &Self::Target {
> + #[inline]
> + fn as_view(self) -> Mmio<'a, Self::Target> {
> // SAFETY: Safe as by the invariant of `IoMem`.
> - unsafe { MmioOwned::from_raw(&self.io) }
> + unsafe { Mmio::from_raw(self.io) }
> }
> }
> diff --git a/rust/kernel/pci/io.rs b/rust/kernel/pci/io.rs
> index e67c1e3694fb..4be33ecb4192 100644
> --- a/rust/kernel/pci/io.rs
> +++ b/rust/kernel/pci/io.rs
> @@ -11,16 +11,14 @@
> Io,
> IoBackend,
> IoCapable,
> - MmioOwned,
> + Mmio,
> + MmioBackend,
> MmioRaw,
> Region, //
> },
> prelude::*,
> ptr::KnownSize, //
> };
> -use core::{
> - ops::Deref, //
> -};
>
> /// Represents the size of a PCI configuration space.
> ///
> @@ -269,12 +267,14 @@ fn drop(&mut self) {
> }
> }
>
> -impl<const SIZE: usize> Deref for Bar<'_, SIZE> {
> - type Target = MmioOwned<SIZE>;
> +impl<'a, const SIZE: usize> Io<'a> for &'a Bar<'_, SIZE> {
> + type Backend = MmioBackend;
> + type Target = crate::io::Region<SIZE>;
>
> - fn deref(&self) -> &Self::Target {
> + #[inline]
> + fn as_view(self) -> Mmio<'a, Self::Target> {
> // SAFETY: By the type invariant of `Self`, the MMIO range in `self.io` is properly mapped.
> - unsafe { MmioOwned::from_raw(&self.io) }
> + unsafe { Mmio::from_raw(self.io) }
> }
> }
>
>
> --
> 2.54.0
>
>
Reviewed-by: Daniel Almeida <daniel.almeida@collabora.com>
next prev parent reply other threads:[~2026-07-08 14:49 UTC|newest]
Thread overview: 45+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-07-06 12:44 [PATCH v6 00/20] rust: I/O type generalization and projection Gary Guo
2026-07-06 12:44 ` [PATCH v6 01/20] rust: io: add dynamically-sized `Region` type Gary Guo
2026-07-07 17:14 ` Daniel Almeida
2026-07-07 20:02 ` Gary Guo
2026-07-08 10:34 ` Miguel Ojeda
2026-07-06 12:44 ` [PATCH v6 02/20] rust: io: add missing safety requirement in `IoCapable` methods Gary Guo
2026-07-07 18:40 ` Daniel Almeida
2026-07-06 12:44 ` [PATCH v6 03/20] rust: io: restrict untyped IO access and `register!` to `Region` Gary Guo
2026-07-08 0:23 ` Daniel Almeida
2026-07-06 12:44 ` [PATCH v6 04/20] rust: io: implement `Io` on reference types instead Gary Guo
2026-07-08 11:58 ` Daniel Almeida
2026-07-08 12:05 ` Gary Guo
2026-07-06 12:44 ` [PATCH v6 05/20] rust: io: generalize `MmioRaw` to pointer to arbitrary type Gary Guo
2026-07-08 12:22 ` Daniel Almeida
2026-07-06 12:44 ` [PATCH v6 06/20] rust: io: rename `Mmio` to `MmioOwned` Gary Guo
2026-07-08 12:26 ` Daniel Almeida
2026-07-08 12:35 ` Daniel Almeida
2026-07-06 12:44 ` [PATCH v6 07/20] rust: io: implement `Mmio` as view type Gary Guo
2026-07-08 13:10 ` Daniel Almeida
2026-07-06 12:44 ` [PATCH v6 08/20] rust: pci: io: make `ConfigSpace` a view Gary Guo
2026-07-08 13:28 ` Daniel Almeida
2026-07-06 12:44 ` [PATCH v6 09/20] rust: io: use view types instead of addresses for `Io` Gary Guo
2026-07-08 14:36 ` Daniel Almeida
2026-07-08 15:25 ` Miguel Ojeda
2026-07-06 12:44 ` [PATCH v6 10/20] pwm: th1520: remove unnecessary `deref` Gary Guo
2026-07-08 14:37 ` Daniel Almeida
2026-07-06 12:44 ` [PATCH v6 11/20] rust: io: remove `MmioOwned` Gary Guo
2026-07-08 14:48 ` Daniel Almeida [this message]
2026-07-06 12:44 ` [PATCH v6 12/20] rust: io: move `Io` methods to extension trait Gary Guo
2026-07-08 15:15 ` Daniel Almeida
2026-07-06 12:44 ` [PATCH v6 13/20] rust: io: add projection macro and methods Gary Guo
2026-07-08 17:58 ` Daniel Almeida
2026-07-06 12:44 ` [PATCH v6 14/20] rust: io: add I/O backend for system memory with volatile access Gary Guo
2026-07-11 1:26 ` Daniel Almeida
2026-07-06 12:44 ` [PATCH v6 15/20] rust: io: implement a view type for `Coherent` Gary Guo
2026-07-11 1:32 ` Daniel Almeida
2026-07-06 12:44 ` [PATCH v6 16/20] rust: io: add `read_val` and `write_val` functions on `Io` Gary Guo
2026-07-11 1:56 ` Daniel Almeida
2026-07-06 12:44 ` [PATCH v6 17/20] gpu: nova-core: use I/O projection for cleaner encapsulation Gary Guo
2026-07-06 12:44 ` [PATCH v6 18/20] rust: dma: drop `dma_read!` and `dma_write!` API Gary Guo
2026-07-11 2:04 ` Daniel Almeida
2026-07-06 12:44 ` [PATCH v6 19/20] rust: io: add copying methods Gary Guo
2026-07-07 12:17 ` Alexandre Courbot
2026-07-06 12:44 ` [PATCH v6 20/20] rust: io: implement `IoSysMap` Gary Guo
2026-07-11 16:10 ` [PATCH v6 00/20] rust: I/O type generalization and projection Danilo Krummrich
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=BB56CB09-819F-48D3-8C71-B85C33E03065@collabora.com \
--to=daniel.almeida@collabora.com \
--cc=a.hindborg@kernel.org \
--cc=abdiel.janulgue@gmail.com \
--cc=acourbot@nvidia.com \
--cc=airlied@gmail.com \
--cc=aliceryhl@google.com \
--cc=bhelgaas@google.com \
--cc=bjorn3_gh@protonmail.com \
--cc=boqun@kernel.org \
--cc=dakr@kernel.org \
--cc=dri-devel@lists.freedesktop.org \
--cc=driver-core@lists.linux.dev \
--cc=gary@garyguo.net \
--cc=gregkh@linuxfoundation.org \
--cc=kwilczynski@kernel.org \
--cc=linux-kernel@vger.kernel.org \
--cc=linux-pci@vger.kernel.org \
--cc=linux-pwm@vger.kernel.org \
--cc=lossin@kernel.org \
--cc=m.wilczynski@samsung.com \
--cc=nova-gpu@lists.linux.dev \
--cc=ojeda@kernel.org \
--cc=rafael@kernel.org \
--cc=robin.murphy@arm.com \
--cc=rust-for-linux@vger.kernel.org \
--cc=simona@ffwll.ch \
--cc=tamird@kernel.org \
--cc=tmgross@umich.edu \
--cc=ukleinek@kernel.org \
--cc=work@onurozkan.dev \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox