xref: /qemu/rust/qemu-api/src/qdev.rs (revision 716d89f9cc14faf784d83c945c40b7e8256ae525)
15a5110d2SManos Pitsidianakis // Copyright 2024, Linaro Limited
25a5110d2SManos Pitsidianakis // Author(s): Manos Pitsidianakis <manos.pitsidianakis@linaro.org>
35a5110d2SManos Pitsidianakis // SPDX-License-Identifier: GPL-2.0-or-later
45a5110d2SManos Pitsidianakis 
54aed0296SPaolo Bonzini //! Bindings to create devices and access device functionality from Rust.
64aed0296SPaolo Bonzini 
76dd818fbSPaolo Bonzini use std::ffi::CStr;
8ce4a144cSPaolo Bonzini 
9*716d89f9SPaolo Bonzini pub use bindings::{DeviceClass, DeviceState, Property};
10*716d89f9SPaolo Bonzini 
118c80c472SPaolo Bonzini use crate::{
12*716d89f9SPaolo Bonzini     bindings::{self, Error},
137bd8e3efSPaolo Bonzini     prelude::*,
14*716d89f9SPaolo Bonzini     qom::{ClassInitImpl, ObjectClass},
15*716d89f9SPaolo Bonzini     vmstate::VMStateDescription,
168c80c472SPaolo Bonzini };
178c80c472SPaolo Bonzini 
188c80c472SPaolo Bonzini /// Trait providing the contents of [`DeviceClass`].
198c80c472SPaolo Bonzini pub trait DeviceImpl {
208c80c472SPaolo Bonzini     /// _Realization_ is the second stage of device creation. It contains
218c80c472SPaolo Bonzini     /// all operations that depend on device properties and can fail (note:
228c80c472SPaolo Bonzini     /// this is not yet supported for Rust devices).
238c80c472SPaolo Bonzini     ///
248c80c472SPaolo Bonzini     /// If not `None`, the parent class's `realize` method is overridden
258c80c472SPaolo Bonzini     /// with the function pointed to by `REALIZE`.
26f75fb90fSPaolo Bonzini     const REALIZE: Option<fn(&mut Self)> = None;
278c80c472SPaolo Bonzini 
288c80c472SPaolo Bonzini     /// If not `None`, the parent class's `reset` method is overridden
298c80c472SPaolo Bonzini     /// with the function pointed to by `RESET`.
308c80c472SPaolo Bonzini     ///
318c80c472SPaolo Bonzini     /// Rust does not yet support the three-phase reset protocol; this is
328c80c472SPaolo Bonzini     /// usually okay for leaf classes.
33f75fb90fSPaolo Bonzini     const RESET: Option<fn(&mut Self)> = None;
348c80c472SPaolo Bonzini 
358c80c472SPaolo Bonzini     /// An array providing the properties that the user can set on the
368c80c472SPaolo Bonzini     /// device.  Not a `const` because referencing statics in constants
378c80c472SPaolo Bonzini     /// is unstable until Rust 1.83.0.
388c80c472SPaolo Bonzini     fn properties() -> &'static [Property] {
395f997648SRichard Henderson         &[]
408c80c472SPaolo Bonzini     }
418c80c472SPaolo Bonzini 
428c80c472SPaolo Bonzini     /// A `VMStateDescription` providing the migration format for the device
438c80c472SPaolo Bonzini     /// Not a `const` because referencing statics in constants is unstable
448c80c472SPaolo Bonzini     /// until Rust 1.83.0.
458c80c472SPaolo Bonzini     fn vmsd() -> Option<&'static VMStateDescription> {
468c80c472SPaolo Bonzini         None
478c80c472SPaolo Bonzini     }
488c80c472SPaolo Bonzini }
498c80c472SPaolo Bonzini 
508c80c472SPaolo Bonzini /// # Safety
518c80c472SPaolo Bonzini ///
52f75fb90fSPaolo Bonzini /// This function is only called through the QOM machinery and
536dd818fbSPaolo Bonzini /// used by the `ClassInitImpl<DeviceClass>` trait.
54f75fb90fSPaolo Bonzini /// We expect the FFI user of this function to pass a valid pointer that
55f75fb90fSPaolo Bonzini /// can be downcasted to type `T`. We also expect the device is
56f75fb90fSPaolo Bonzini /// readable/writeable from one thread at any time.
57f75fb90fSPaolo Bonzini unsafe extern "C" fn rust_realize_fn<T: DeviceImpl>(dev: *mut DeviceState, _errp: *mut *mut Error) {
58f75fb90fSPaolo Bonzini     assert!(!dev.is_null());
59f75fb90fSPaolo Bonzini     let state = dev.cast::<T>();
60f75fb90fSPaolo Bonzini     T::REALIZE.unwrap()(unsafe { &mut *state });
61f75fb90fSPaolo Bonzini }
62f75fb90fSPaolo Bonzini 
63f75fb90fSPaolo Bonzini /// # Safety
64f75fb90fSPaolo Bonzini ///
65f75fb90fSPaolo Bonzini /// We expect the FFI user of this function to pass a valid pointer that
66f75fb90fSPaolo Bonzini /// can be downcasted to type `T`. We also expect the device is
67f75fb90fSPaolo Bonzini /// readable/writeable from one thread at any time.
68f75fb90fSPaolo Bonzini unsafe extern "C" fn rust_reset_fn<T: DeviceImpl>(dev: *mut DeviceState) {
69f75fb90fSPaolo Bonzini     assert!(!dev.is_null());
70f75fb90fSPaolo Bonzini     let state = dev.cast::<T>();
71f75fb90fSPaolo Bonzini     T::RESET.unwrap()(unsafe { &mut *state });
72f75fb90fSPaolo Bonzini }
73f75fb90fSPaolo Bonzini 
746dd818fbSPaolo Bonzini impl<T> ClassInitImpl<DeviceClass> for T
756dd818fbSPaolo Bonzini where
76cb36da9bSPaolo Bonzini     T: ClassInitImpl<ObjectClass> + DeviceImpl,
776dd818fbSPaolo Bonzini {
786dd818fbSPaolo Bonzini     fn class_init(dc: &mut DeviceClass) {
79f75fb90fSPaolo Bonzini         if <T as DeviceImpl>::REALIZE.is_some() {
80f75fb90fSPaolo Bonzini             dc.realize = Some(rust_realize_fn::<T>);
818c80c472SPaolo Bonzini         }
82f75fb90fSPaolo Bonzini         if <T as DeviceImpl>::RESET.is_some() {
836dd818fbSPaolo Bonzini             unsafe {
84f75fb90fSPaolo Bonzini                 bindings::device_class_set_legacy_reset(dc, Some(rust_reset_fn::<T>));
858c80c472SPaolo Bonzini             }
866dd818fbSPaolo Bonzini         }
878c80c472SPaolo Bonzini         if let Some(vmsd) = <T as DeviceImpl>::vmsd() {
888c80c472SPaolo Bonzini             dc.vmsd = vmsd;
898c80c472SPaolo Bonzini         }
905f997648SRichard Henderson         let prop = <T as DeviceImpl>::properties();
915f997648SRichard Henderson         if !prop.is_empty() {
926dd818fbSPaolo Bonzini             unsafe {
935f997648SRichard Henderson                 bindings::device_class_set_props_n(dc, prop.as_ptr(), prop.len());
945f997648SRichard Henderson             }
958c80c472SPaolo Bonzini         }
96cb36da9bSPaolo Bonzini 
97cb36da9bSPaolo Bonzini         <T as ClassInitImpl<ObjectClass>>::class_init(&mut dc.parent_class);
988c80c472SPaolo Bonzini     }
995a5110d2SManos Pitsidianakis }
1005a5110d2SManos Pitsidianakis 
1015a5110d2SManos Pitsidianakis #[macro_export]
1025a5110d2SManos Pitsidianakis macro_rules! define_property {
103a3057c52SJunjie Mao     ($name:expr, $state:ty, $field:ident, $prop:expr, $type:ty, default = $defval:expr$(,)*) => {
1045a5110d2SManos Pitsidianakis         $crate::bindings::Property {
10503a573b9SPaolo Bonzini             // use associated function syntax for type checking
1069f7d4520SPaolo Bonzini             name: ::std::ffi::CStr::as_ptr($name),
1075a5110d2SManos Pitsidianakis             info: $prop,
108f3518400SJunjie Mao             offset: $crate::offset_of!($state, $field) as isize,
1095a5110d2SManos Pitsidianakis             set_default: true,
11003a573b9SPaolo Bonzini             defval: $crate::bindings::Property__bindgen_ty_1 { u: $defval as u64 },
1116e50bde1SPaolo Bonzini             ..$crate::zeroable::Zeroable::ZERO
1125a5110d2SManos Pitsidianakis         }
1135a5110d2SManos Pitsidianakis     };
114a3057c52SJunjie Mao     ($name:expr, $state:ty, $field:ident, $prop:expr, $type:ty$(,)*) => {
1155a5110d2SManos Pitsidianakis         $crate::bindings::Property {
11603a573b9SPaolo Bonzini             // use associated function syntax for type checking
1179f7d4520SPaolo Bonzini             name: ::std::ffi::CStr::as_ptr($name),
1185a5110d2SManos Pitsidianakis             info: $prop,
119f3518400SJunjie Mao             offset: $crate::offset_of!($state, $field) as isize,
1205a5110d2SManos Pitsidianakis             set_default: false,
1216e50bde1SPaolo Bonzini             ..$crate::zeroable::Zeroable::ZERO
1225a5110d2SManos Pitsidianakis         }
1235a5110d2SManos Pitsidianakis     };
1245a5110d2SManos Pitsidianakis }
1255a5110d2SManos Pitsidianakis 
1265a5110d2SManos Pitsidianakis #[macro_export]
1275a5110d2SManos Pitsidianakis macro_rules! declare_properties {
1285a5110d2SManos Pitsidianakis     ($ident:ident, $($prop:expr),*$(,)*) => {
129c92c447fSPaolo Bonzini         pub static $ident: [$crate::bindings::Property; {
1305f997648SRichard Henderson             let mut len = 0;
1315a5110d2SManos Pitsidianakis             $({
1325a5110d2SManos Pitsidianakis                 _ = stringify!($prop);
1335a5110d2SManos Pitsidianakis                 len += 1;
1345a5110d2SManos Pitsidianakis             })*
1355a5110d2SManos Pitsidianakis             len
136c92c447fSPaolo Bonzini         }] = [
1375a5110d2SManos Pitsidianakis             $($prop),*,
138c92c447fSPaolo Bonzini         ];
1395a5110d2SManos Pitsidianakis     };
1405a5110d2SManos Pitsidianakis }
141ce4a144cSPaolo Bonzini 
1426dd818fbSPaolo Bonzini unsafe impl ObjectType for DeviceState {
1436dd818fbSPaolo Bonzini     type Class = DeviceClass;
1447bd8e3efSPaolo Bonzini     const TYPE_NAME: &'static CStr =
145ce4a144cSPaolo Bonzini         unsafe { CStr::from_bytes_with_nul_unchecked(bindings::TYPE_DEVICE) };
1467bd8e3efSPaolo Bonzini }
147