[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-Id: <DA093HA2415H.29OCPLS0M7H84@buenzli.dev>
Date: Mon, 19 May 2025 17:43:17 +0200
From: "Remo Senekowitsch" <remo@...nzli.dev>
To: "Danilo Krummrich" <dakr@...nel.org>
Cc: "Rob Herring" <robh@...nel.org>, "Saravana Kannan"
<saravanak@...gle.com>, "Miguel Ojeda" <ojeda@...nel.org>, "Alex Gaynor"
<alex.gaynor@...il.com>, "Boqun Feng" <boqun.feng@...il.com>, "Gary Guo"
<gary@...yguo.net>, Björn Roy Baron
<bjorn3_gh@...tonmail.com>, "Benno Lossin" <benno.lossin@...ton.me>,
"Andreas Hindborg" <a.hindborg@...nel.org>, "Alice Ryhl"
<aliceryhl@...gle.com>, "Trevor Gross" <tmgross@...ch.edu>, "Greg
Kroah-Hartman" <gregkh@...uxfoundation.org>, "Rafael J. Wysocki"
<rafael@...nel.org>, "Dirk Behme" <dirk.behme@...bosch.com>,
<linux-kernel@...r.kernel.org>, <devicetree@...r.kernel.org>,
<rust-for-linux@...r.kernel.org>
Subject: Re: [PATCH v4 6/9] rust: device: Add bindings for reading device
properties
On Mon May 12, 2025 at 3:36 PM CEST, Danilo Krummrich wrote:
>> +/// Implemented for all integers that can be read as properties.
>> +///
>> +/// This helper trait is needed on top of the existing [`Property`]
>> +/// trait to associate the integer types of various sizes with their
>> +/// corresponding `fwnode_property_read_*_array` functions.
>> +pub trait PropertyInt: Copy {
>> + /// # Safety
>> + ///
>> + /// Callers must uphold the same safety invariants as for the various
>> + /// `fwnode_property_read_*_array` functions.
>
> I think you have additional requirements on the fwnode, propname and val
> pointers as well as on nval, please document them as well.
What are the additional requirements? The implementation just calls the
underlying `fwnode_property_read_*_array` with the exact same arguments,
so I don't know what the additional requirements are.
>> + unsafe fn read_array_from_fwnode_property(
>> + fwnode: *const bindings::fwnode_handle,
>> + propname: *const ffi::c_char,
>> + val: *mut Self,
>> + nval: usize,
>> + ) -> ffi::c_int;
>> +}
>> +// This macro generates implementations of the traits `Property` and
>> +// `PropertyInt` for integers of various sizes. Its input is a list
>> +// of pairs separated by commas. The first element of the pair is the
>> +// type of the integer, the second one is the name of its corresponding
>> +// `fwnode_property_read_*_array` function.
>> +macro_rules! impl_property_for_int {
>> + ($($int:ty: $f:ident),* $(,)?) => { $(
>> + impl PropertyInt for $int {
>> + unsafe fn read_array_from_fwnode_property(
>> + fwnode: *const bindings::fwnode_handle,
>> + propname: *const ffi::c_char,
>> + val: *mut Self,
>> + nval: usize,
>> + ) -> ffi::c_int {
>> + // SAFETY: The safety invariants on the trait require
>> + // callers to uphold the invariants of the functions
>> + // this macro is called with.
>> + unsafe {
>> + bindings::$f(fwnode, propname, val.cast(), nval)
>> + }
>> + }
>> + }
>> + )* };
>> +}
>> +impl_property_for_int! {
>> + u8: fwnode_property_read_u8_array,
>> + u16: fwnode_property_read_u16_array,
>> + u32: fwnode_property_read_u32_array,
>> + u64: fwnode_property_read_u64_array,
>> + i8: fwnode_property_read_u8_array,
>> + i16: fwnode_property_read_u16_array,
>> + i32: fwnode_property_read_u32_array,
>> + i64: fwnode_property_read_u64_array,
>> +}
Powered by blists - more mailing lists