From: Daniel Almeida <daniel.almeida@collabora.com>
To: Danilo Krummrich <dakr@kernel.org>
Cc: Alice Ryhl <aliceryhl@google.com>,
akpm@linux-foundation.org, ojeda@kernel.org,
alex.gaynor@gmail.com, boqun.feng@gmail.com, gary@garyguo.net,
bjorn3_gh@protonmail.com, lossin@kernel.org,
a.hindborg@kernel.org, tmgross@umich.edu,
abdiel.janulgue@gmail.com, acourbot@nvidia.com, jgg@ziepe.ca,
lyude@redhat.com, robin.murphy@arm.com,
rust-for-linux@vger.kernel.org, linux-kernel@vger.kernel.org
Subject: Re: [PATCH 1/4] rust: dma: implement DataDirection
Date: Wed, 20 Aug 2025 10:17:54 -0300 [thread overview]
Message-ID: <99CFF9D2-962E-4322-BCFD-273485DBAF62@collabora.com> (raw)
In-Reply-To: <DC5UWIXHVAGI.1TTU2K9WIC1E9@kernel.org>
> On 18 Aug 2025, at 18:03, Danilo Krummrich <dakr@kernel.org> wrote:
>
> On Mon Aug 18, 2025 at 8:47 PM CEST, Alice Ryhl wrote:
>> with no warnings and build-failure if out-of-bounds.
>
> +/// DMA data direction.
> +///
> +/// Corresponds to the C [`enum dma_data_direction`].
> +///
> +/// [`enum dma_data_direction`]: srctree/include/linux/dma-direction.h
> +#[derive(Copy, Clone, PartialEq, Eq, Debug)]
> +#[repr(u32)]
> +pub enum DataDirection {
> + /// The DMA mapping is for bidirectional data transfer.
> + ///
> + /// This is used when the buffer can be both read from and written to by the device.
> + /// The cache for the corresponding memory region is both flushed and invalidated.
> + Bidirectional = Self::const_cast(bindings::dma_data_direction_DMA_BIDIRECTIONAL),
> +
> + /// The DMA mapping is for data transfer from memory to the device (write).
> + ///
> + /// The CPU has prepared data in the buffer, and the device will read it.
> + /// The cache for the corresponding memory region is flushed.
> + ToDevice = Self::const_cast(bindings::dma_data_direction_DMA_TO_DEVICE),
> +
> + /// The DMA mapping is for data transfer from the device to memory (read).
> + ///
> + /// The device will write data into the buffer for the CPU to read.
> + /// The cache for the corresponding memory region is invalidated before CPU access.
> + FromDevice = Self::const_cast(bindings::dma_data_direction_DMA_FROM_DEVICE),
> +
> + /// The DMA mapping is not for data transfer.
> + ///
> + /// This is primarily for debugging purposes. With this direction, the DMA mapping API
> + /// will not perform any cache coherency operations.
> + None = Self::const_cast(bindings::dma_data_direction_DMA_NONE),
> +}
> +
> +impl DataDirection {
> + /// Casts the bindgen-generated enum type to a `u32` at compile time.
> + ///
> + /// This function will cause a compile-time error if the underlying value of the
> + /// C enum is out of bounds for `u32`.
> + const fn const_cast(val: bindings::dma_data_direction) -> u32 {
This should be its own generic helper for similar enums, IMHO
> + // CAST: The C standard allows compilers to choose different integer types for enums.
> + // To safely check the value, we cast it to a wide signed integer type (`i128`)
> + // which can hold any standard C integer enum type without truncation.
> + let wide_val = val as i128;
> +
> + // Check if the value is outside the valid range for the target type `u32`.
> + // CAST: `u32::MAX` is cast to `i128` to match the type of `wide_val` for the comparison.
> + if wide_val < 0 || wide_val > u32::MAX as i128 {
> + // Trigger a compile-time error in a const context.
> + panic!("C enum value is out of bounds for the target type `u32`.");
> + }
> +
> + // CAST: This cast is valid because the check above guarantees that `wide_val`
> + // is within the representable range of `u32`.
> + wide_val as u32
> + }
> +}
> +
> +impl From<DataDirection> for bindings::dma_data_direction {
> + /// Returns the raw representation of [`enum dma_data_direction`].
> + fn from(direction: DataDirection) -> Self {
> + // CAST: `direction as u32` gets the underlying representation of our `#[repr(u32)]` enum.
> + // The subsequent cast to `Self` (the bindgen type) assumes the C enum is compatible
> + // with the enum variants of `DataDirection`, which is a valid assumption given our
> + // compile-time checks.
> + direction as u32 as Self
> + }
> +}
next prev parent reply other threads:[~2025-08-20 13:18 UTC|newest]
Thread overview: 26+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-08-15 17:10 [PATCH 0/4] Rust infrastructure for sg_table and scatterlist Danilo Krummrich
2025-08-15 17:10 ` [PATCH 1/4] rust: dma: implement DataDirection Danilo Krummrich
2025-08-18 9:34 ` Alice Ryhl
2025-08-18 11:27 ` Danilo Krummrich
2025-08-18 11:56 ` Miguel Ojeda
2025-08-18 12:24 ` Miguel Ojeda
2025-08-18 20:42 ` Danilo Krummrich
2025-08-18 12:22 ` Alice Ryhl
2025-08-18 12:57 ` Danilo Krummrich
2025-08-18 14:00 ` Alice Ryhl
2025-08-18 17:23 ` Danilo Krummrich
2025-08-18 18:47 ` Alice Ryhl
2025-08-18 21:03 ` Danilo Krummrich
2025-08-20 13:17 ` Daniel Almeida [this message]
2025-08-20 13:40 ` Danilo Krummrich
2025-08-15 17:10 ` [PATCH 2/4] rust: scatterlist: Add type-state abstraction for sg_table Danilo Krummrich
2025-08-18 9:52 ` Alice Ryhl
2025-08-18 11:16 ` Danilo Krummrich
2025-08-18 12:21 ` Danilo Krummrich
2025-08-18 13:12 ` Danilo Krummrich
2025-08-18 12:27 ` Alice Ryhl
2025-08-18 12:37 ` Danilo Krummrich
2025-08-20 17:08 ` Daniel Almeida
2025-08-20 18:59 ` Danilo Krummrich
2025-08-15 17:10 ` [PATCH 3/4] samples: rust: dma: add sample code for SGTable Danilo Krummrich
2025-08-15 17:10 ` [PATCH 4/4] MAINTAINERS: rust: dma: add scatterlist files 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=99CFF9D2-962E-4322-BCFD-273485DBAF62@collabora.com \
--to=daniel.almeida@collabora.com \
--cc=a.hindborg@kernel.org \
--cc=abdiel.janulgue@gmail.com \
--cc=acourbot@nvidia.com \
--cc=akpm@linux-foundation.org \
--cc=alex.gaynor@gmail.com \
--cc=aliceryhl@google.com \
--cc=bjorn3_gh@protonmail.com \
--cc=boqun.feng@gmail.com \
--cc=dakr@kernel.org \
--cc=gary@garyguo.net \
--cc=jgg@ziepe.ca \
--cc=linux-kernel@vger.kernel.org \
--cc=lossin@kernel.org \
--cc=lyude@redhat.com \
--cc=ojeda@kernel.org \
--cc=robin.murphy@arm.com \
--cc=rust-for-linux@vger.kernel.org \
--cc=tmgross@umich.edu \
/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
all inboxes | Powered by JetHome®