[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <583DE983-D767-4941-AAA7-D56D0E3C2782@kloenk.dev>
Date: Fri, 27 Sep 2024 11:00:00 +0200
From: Fiona Behrens <me@...enk.dev>
To: Alice Ryhl <aliceryhl@...gle.com>
Cc: Greg Kroah-Hartman <gregkh@...uxfoundation.org>,
Arnd Bergmann <arnd@...db.de>, Miguel Ojeda <ojeda@...nel.org>,
Alexander Viro <viro@...iv.linux.org.uk>,
Christian Brauner <brauner@...nel.org>, Jan Kara <jack@...e.cz>,
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>, Trevor Gross <tmgross@...ch.edu>,
rust-for-linux@...r.kernel.org, linux-fsdevel@...r.kernel.org,
linux-kernel@...r.kernel.org
Subject: Re: [PATCH 1/3] rust: types: add Opaque::try_ffi_init
On 26 Sep 2024, at 16:58, Alice Ryhl wrote:
> This will be used by the miscdevice abstractions, as the C function
> `misc_register` is fallible.
>
> Signed-off-by: Alice Ryhl <aliceryhl@...gle.com>
> ---
Reviewed-by: Fiona Behrens <me@...enk.dev>
> rust/kernel/types.rs | 16 ++++++++++++++++
> 1 file changed, 16 insertions(+)
>
> diff --git a/rust/kernel/types.rs b/rust/kernel/types.rs
> index 3238ffaab031..dd9c606c515c 100644
> --- a/rust/kernel/types.rs
> +++ b/rust/kernel/types.rs
> @@ -299,6 +299,22 @@ pub fn ffi_init(init_func: impl FnOnce(*mut T)) -> impl PinInit<Self> {
> }
> }
>
> + /// Creates a fallible pin-initializer from the given initializer closure.
> + ///
> + /// The returned initializer calls the given closure with the pointer to the inner `T` of this
> + /// `Opaque`. Since this memory is uninitialized, the closure is not allowed to read from it.
> + ///
> + /// This function is safe, because the `T` inside of an `Opaque` is allowed to be
> + /// uninitialized. Additionally, access to the inner `T` requires `unsafe`, so the caller needs
> + /// to verify at that point that the inner value is valid.
> + pub fn try_ffi_init<E>(
> + init_func: impl FnOnce(*mut T) -> Result<(), E>,
> + ) -> impl PinInit<Self, E> {
> + // SAFETY: We contain a `MaybeUninit`, so it is OK for the `init_func` to not fully
> + // initialize the `T`.
> + unsafe { init::pin_init_from_closure::<_, E>(move |slot| init_func(Self::raw_get(slot))) }
> + }
> +
> /// Returns a raw pointer to the opaque data.
> pub const fn get(&self) -> *mut T {
> UnsafeCell::get(&self.value).cast::<T>()
>
> --
> 2.46.0.792.g87dc391469-goog
Powered by blists - more mailing lists