xref: /qemu/rust/qemu-api/src/qdev.rs (revision 7bd8e3ef63330e870cf4644d21c285cce35c703d)
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 
58c80c472SPaolo Bonzini use std::{ffi::CStr, os::raw::c_void};
6ce4a144cSPaolo Bonzini 
78c80c472SPaolo Bonzini use crate::{
88c80c472SPaolo Bonzini     bindings::{self, DeviceClass, DeviceState, Error, ObjectClass, Property, VMStateDescription},
9*7bd8e3efSPaolo Bonzini     prelude::*,
108c80c472SPaolo Bonzini     zeroable::Zeroable,
118c80c472SPaolo Bonzini };
128c80c472SPaolo Bonzini 
138c80c472SPaolo Bonzini /// Trait providing the contents of [`DeviceClass`].
148c80c472SPaolo Bonzini pub trait DeviceImpl {
158c80c472SPaolo Bonzini     /// _Realization_ is the second stage of device creation. It contains
168c80c472SPaolo Bonzini     /// all operations that depend on device properties and can fail (note:
178c80c472SPaolo Bonzini     /// this is not yet supported for Rust devices).
188c80c472SPaolo Bonzini     ///
198c80c472SPaolo Bonzini     /// If not `None`, the parent class's `realize` method is overridden
208c80c472SPaolo Bonzini     /// with the function pointed to by `REALIZE`.
21f75fb90fSPaolo Bonzini     const REALIZE: Option<fn(&mut Self)> = None;
228c80c472SPaolo Bonzini 
238c80c472SPaolo Bonzini     /// If not `None`, the parent class's `reset` method is overridden
248c80c472SPaolo Bonzini     /// with the function pointed to by `RESET`.
258c80c472SPaolo Bonzini     ///
268c80c472SPaolo Bonzini     /// Rust does not yet support the three-phase reset protocol; this is
278c80c472SPaolo Bonzini     /// usually okay for leaf classes.
28f75fb90fSPaolo Bonzini     const RESET: Option<fn(&mut Self)> = None;
298c80c472SPaolo Bonzini 
308c80c472SPaolo Bonzini     /// An array providing the properties that the user can set on the
318c80c472SPaolo Bonzini     /// device.  Not a `const` because referencing statics in constants
328c80c472SPaolo Bonzini     /// is unstable until Rust 1.83.0.
338c80c472SPaolo Bonzini     fn properties() -> &'static [Property] {
348c80c472SPaolo Bonzini         &[Zeroable::ZERO; 1]
358c80c472SPaolo Bonzini     }
368c80c472SPaolo Bonzini 
378c80c472SPaolo Bonzini     /// A `VMStateDescription` providing the migration format for the device
388c80c472SPaolo Bonzini     /// Not a `const` because referencing statics in constants is unstable
398c80c472SPaolo Bonzini     /// until Rust 1.83.0.
408c80c472SPaolo Bonzini     fn vmsd() -> Option<&'static VMStateDescription> {
418c80c472SPaolo Bonzini         None
428c80c472SPaolo Bonzini     }
438c80c472SPaolo Bonzini }
448c80c472SPaolo Bonzini 
458c80c472SPaolo Bonzini /// # Safety
468c80c472SPaolo Bonzini ///
47f75fb90fSPaolo Bonzini /// This function is only called through the QOM machinery and
48f75fb90fSPaolo Bonzini /// the `impl_device_class!` macro.
49f75fb90fSPaolo Bonzini /// We expect the FFI user of this function to pass a valid pointer that
50f75fb90fSPaolo Bonzini /// can be downcasted to type `T`. We also expect the device is
51f75fb90fSPaolo Bonzini /// readable/writeable from one thread at any time.
52f75fb90fSPaolo Bonzini unsafe extern "C" fn rust_realize_fn<T: DeviceImpl>(dev: *mut DeviceState, _errp: *mut *mut Error) {
53f75fb90fSPaolo Bonzini     assert!(!dev.is_null());
54f75fb90fSPaolo Bonzini     let state = dev.cast::<T>();
55f75fb90fSPaolo Bonzini     T::REALIZE.unwrap()(unsafe { &mut *state });
56f75fb90fSPaolo Bonzini }
57f75fb90fSPaolo Bonzini 
58f75fb90fSPaolo Bonzini /// # Safety
59f75fb90fSPaolo Bonzini ///
60f75fb90fSPaolo Bonzini /// We expect the FFI user of this function to pass a valid pointer that
61f75fb90fSPaolo Bonzini /// can be downcasted to type `T`. We also expect the device is
62f75fb90fSPaolo Bonzini /// readable/writeable from one thread at any time.
63f75fb90fSPaolo Bonzini unsafe extern "C" fn rust_reset_fn<T: DeviceImpl>(dev: *mut DeviceState) {
64f75fb90fSPaolo Bonzini     assert!(!dev.is_null());
65f75fb90fSPaolo Bonzini     let state = dev.cast::<T>();
66f75fb90fSPaolo Bonzini     T::RESET.unwrap()(unsafe { &mut *state });
67f75fb90fSPaolo Bonzini }
68f75fb90fSPaolo Bonzini 
69f75fb90fSPaolo Bonzini /// # Safety
70f75fb90fSPaolo Bonzini ///
718c80c472SPaolo Bonzini /// We expect the FFI user of this function to pass a valid pointer that
728c80c472SPaolo Bonzini /// can be downcasted to type `DeviceClass`, because `T` implements
738c80c472SPaolo Bonzini /// `DeviceImpl`.
748c80c472SPaolo Bonzini pub unsafe extern "C" fn rust_device_class_init<T: DeviceImpl>(
758c80c472SPaolo Bonzini     klass: *mut ObjectClass,
768c80c472SPaolo Bonzini     _: *mut c_void,
778c80c472SPaolo Bonzini ) {
788c80c472SPaolo Bonzini     let mut dc = ::core::ptr::NonNull::new(klass.cast::<DeviceClass>()).unwrap();
798c80c472SPaolo Bonzini     unsafe {
808c80c472SPaolo Bonzini         let dc = dc.as_mut();
81f75fb90fSPaolo Bonzini         if <T as DeviceImpl>::REALIZE.is_some() {
82f75fb90fSPaolo Bonzini             dc.realize = Some(rust_realize_fn::<T>);
838c80c472SPaolo Bonzini         }
84f75fb90fSPaolo Bonzini         if <T as DeviceImpl>::RESET.is_some() {
85f75fb90fSPaolo Bonzini             bindings::device_class_set_legacy_reset(dc, Some(rust_reset_fn::<T>));
868c80c472SPaolo Bonzini         }
878c80c472SPaolo Bonzini         if let Some(vmsd) = <T as DeviceImpl>::vmsd() {
888c80c472SPaolo Bonzini             dc.vmsd = vmsd;
898c80c472SPaolo Bonzini         }
908c80c472SPaolo Bonzini         bindings::device_class_set_props(dc, <T as DeviceImpl>::properties().as_ptr());
918c80c472SPaolo Bonzini     }
928c80c472SPaolo Bonzini }
93ce4a144cSPaolo Bonzini 
945a5110d2SManos Pitsidianakis #[macro_export]
958c80c472SPaolo Bonzini macro_rules! impl_device_class {
968c80c472SPaolo Bonzini     ($type:ty) => {
978c80c472SPaolo Bonzini         impl $crate::definitions::ClassInitImpl for $type {
988c80c472SPaolo Bonzini             const CLASS_INIT: Option<
998c80c472SPaolo Bonzini                 unsafe extern "C" fn(klass: *mut ObjectClass, data: *mut ::std::os::raw::c_void),
1008c80c472SPaolo Bonzini             > = Some($crate::device_class::rust_device_class_init::<$type>);
1018c80c472SPaolo Bonzini             const CLASS_BASE_INIT: Option<
1028c80c472SPaolo Bonzini                 unsafe extern "C" fn(klass: *mut ObjectClass, data: *mut ::std::os::raw::c_void),
1038c80c472SPaolo Bonzini             > = None;
1047b72c7ddSPaolo Bonzini         }
1055a5110d2SManos Pitsidianakis     };
1065a5110d2SManos Pitsidianakis }
1075a5110d2SManos Pitsidianakis 
1085a5110d2SManos Pitsidianakis #[macro_export]
1095a5110d2SManos Pitsidianakis macro_rules! define_property {
110a3057c52SJunjie Mao     ($name:expr, $state:ty, $field:ident, $prop:expr, $type:ty, default = $defval:expr$(,)*) => {
1115a5110d2SManos Pitsidianakis         $crate::bindings::Property {
11203a573b9SPaolo Bonzini             // use associated function syntax for type checking
1139f7d4520SPaolo Bonzini             name: ::std::ffi::CStr::as_ptr($name),
1145a5110d2SManos Pitsidianakis             info: $prop,
115f3518400SJunjie Mao             offset: $crate::offset_of!($state, $field) as isize,
1165a5110d2SManos Pitsidianakis             set_default: true,
11703a573b9SPaolo Bonzini             defval: $crate::bindings::Property__bindgen_ty_1 { u: $defval as u64 },
1186e50bde1SPaolo Bonzini             ..$crate::zeroable::Zeroable::ZERO
1195a5110d2SManos Pitsidianakis         }
1205a5110d2SManos Pitsidianakis     };
121a3057c52SJunjie Mao     ($name:expr, $state:ty, $field:ident, $prop:expr, $type:ty$(,)*) => {
1225a5110d2SManos Pitsidianakis         $crate::bindings::Property {
12303a573b9SPaolo Bonzini             // use associated function syntax for type checking
1249f7d4520SPaolo Bonzini             name: ::std::ffi::CStr::as_ptr($name),
1255a5110d2SManos Pitsidianakis             info: $prop,
126f3518400SJunjie Mao             offset: $crate::offset_of!($state, $field) as isize,
1275a5110d2SManos Pitsidianakis             set_default: false,
1286e50bde1SPaolo Bonzini             ..$crate::zeroable::Zeroable::ZERO
1295a5110d2SManos Pitsidianakis         }
1305a5110d2SManos Pitsidianakis     };
1315a5110d2SManos Pitsidianakis }
1325a5110d2SManos Pitsidianakis 
1335a5110d2SManos Pitsidianakis #[macro_export]
1345a5110d2SManos Pitsidianakis macro_rules! declare_properties {
1355a5110d2SManos Pitsidianakis     ($ident:ident, $($prop:expr),*$(,)*) => {
136c92c447fSPaolo Bonzini         pub static $ident: [$crate::bindings::Property; {
1375a5110d2SManos Pitsidianakis             let mut len = 1;
1385a5110d2SManos Pitsidianakis             $({
1395a5110d2SManos Pitsidianakis                 _ = stringify!($prop);
1405a5110d2SManos Pitsidianakis                 len += 1;
1415a5110d2SManos Pitsidianakis             })*
1425a5110d2SManos Pitsidianakis             len
143c92c447fSPaolo Bonzini         }] = [
1445a5110d2SManos Pitsidianakis             $($prop),*,
1456e50bde1SPaolo Bonzini             $crate::zeroable::Zeroable::ZERO,
146c92c447fSPaolo Bonzini         ];
1475a5110d2SManos Pitsidianakis     };
1485a5110d2SManos Pitsidianakis }
149ce4a144cSPaolo Bonzini 
150*7bd8e3efSPaolo Bonzini unsafe impl ObjectType for bindings::DeviceState {
151*7bd8e3efSPaolo Bonzini     type Class = bindings::DeviceClass;
152*7bd8e3efSPaolo Bonzini     const TYPE_NAME: &'static CStr =
153ce4a144cSPaolo Bonzini         unsafe { CStr::from_bytes_with_nul_unchecked(bindings::TYPE_DEVICE) };
154*7bd8e3efSPaolo Bonzini }
155