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 7*7d052039SPaolo Bonzini use std::{ffi::CStr, ptr::NonNull}; 8ce4a144cSPaolo Bonzini 9716d89f9SPaolo Bonzini pub use bindings::{DeviceClass, DeviceState, Property}; 10716d89f9SPaolo Bonzini 118c80c472SPaolo Bonzini use crate::{ 12716d89f9SPaolo Bonzini bindings::{self, Error}, 137bd8e3efSPaolo Bonzini prelude::*, 14716d89f9SPaolo Bonzini qom::{ClassInitImpl, ObjectClass}, 15716d89f9SPaolo 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`. 260f9eb0ffSZhao Liu const REALIZE: Option<fn(&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) { 58*7d052039SPaolo Bonzini let state = NonNull::new(dev).unwrap().cast::<T>(); 59*7d052039SPaolo Bonzini T::REALIZE.unwrap()(unsafe { state.as_ref() }); 60f75fb90fSPaolo Bonzini } 61f75fb90fSPaolo Bonzini 62f75fb90fSPaolo Bonzini /// # Safety 63f75fb90fSPaolo Bonzini /// 64f75fb90fSPaolo Bonzini /// We expect the FFI user of this function to pass a valid pointer that 65f75fb90fSPaolo Bonzini /// can be downcasted to type `T`. We also expect the device is 66f75fb90fSPaolo Bonzini /// readable/writeable from one thread at any time. 67f75fb90fSPaolo Bonzini unsafe extern "C" fn rust_reset_fn<T: DeviceImpl>(dev: *mut DeviceState) { 68*7d052039SPaolo Bonzini let mut state = NonNull::new(dev).unwrap().cast::<T>(); 69*7d052039SPaolo Bonzini T::RESET.unwrap()(unsafe { state.as_mut() }); 70f75fb90fSPaolo Bonzini } 71f75fb90fSPaolo Bonzini 726dd818fbSPaolo Bonzini impl<T> ClassInitImpl<DeviceClass> for T 736dd818fbSPaolo Bonzini where 74cb36da9bSPaolo Bonzini T: ClassInitImpl<ObjectClass> + DeviceImpl, 756dd818fbSPaolo Bonzini { 766dd818fbSPaolo Bonzini fn class_init(dc: &mut DeviceClass) { 77f75fb90fSPaolo Bonzini if <T as DeviceImpl>::REALIZE.is_some() { 78f75fb90fSPaolo Bonzini dc.realize = Some(rust_realize_fn::<T>); 798c80c472SPaolo Bonzini } 80f75fb90fSPaolo Bonzini if <T as DeviceImpl>::RESET.is_some() { 816dd818fbSPaolo Bonzini unsafe { 82f75fb90fSPaolo Bonzini bindings::device_class_set_legacy_reset(dc, Some(rust_reset_fn::<T>)); 838c80c472SPaolo Bonzini } 846dd818fbSPaolo Bonzini } 858c80c472SPaolo Bonzini if let Some(vmsd) = <T as DeviceImpl>::vmsd() { 868c80c472SPaolo Bonzini dc.vmsd = vmsd; 878c80c472SPaolo Bonzini } 885f997648SRichard Henderson let prop = <T as DeviceImpl>::properties(); 895f997648SRichard Henderson if !prop.is_empty() { 906dd818fbSPaolo Bonzini unsafe { 915f997648SRichard Henderson bindings::device_class_set_props_n(dc, prop.as_ptr(), prop.len()); 925f997648SRichard Henderson } 938c80c472SPaolo Bonzini } 94cb36da9bSPaolo Bonzini 95cb36da9bSPaolo Bonzini <T as ClassInitImpl<ObjectClass>>::class_init(&mut dc.parent_class); 968c80c472SPaolo Bonzini } 975a5110d2SManos Pitsidianakis } 985a5110d2SManos Pitsidianakis 995a5110d2SManos Pitsidianakis #[macro_export] 1005a5110d2SManos Pitsidianakis macro_rules! define_property { 101a3057c52SJunjie Mao ($name:expr, $state:ty, $field:ident, $prop:expr, $type:ty, default = $defval:expr$(,)*) => { 1025a5110d2SManos Pitsidianakis $crate::bindings::Property { 10303a573b9SPaolo Bonzini // use associated function syntax for type checking 1049f7d4520SPaolo Bonzini name: ::std::ffi::CStr::as_ptr($name), 1055a5110d2SManos Pitsidianakis info: $prop, 106f3518400SJunjie Mao offset: $crate::offset_of!($state, $field) as isize, 1075a5110d2SManos Pitsidianakis set_default: true, 10803a573b9SPaolo Bonzini defval: $crate::bindings::Property__bindgen_ty_1 { u: $defval as u64 }, 1096e50bde1SPaolo Bonzini ..$crate::zeroable::Zeroable::ZERO 1105a5110d2SManos Pitsidianakis } 1115a5110d2SManos Pitsidianakis }; 112a3057c52SJunjie Mao ($name:expr, $state:ty, $field:ident, $prop:expr, $type:ty$(,)*) => { 1135a5110d2SManos Pitsidianakis $crate::bindings::Property { 11403a573b9SPaolo Bonzini // use associated function syntax for type checking 1159f7d4520SPaolo Bonzini name: ::std::ffi::CStr::as_ptr($name), 1165a5110d2SManos Pitsidianakis info: $prop, 117f3518400SJunjie Mao offset: $crate::offset_of!($state, $field) as isize, 1185a5110d2SManos Pitsidianakis set_default: false, 1196e50bde1SPaolo Bonzini ..$crate::zeroable::Zeroable::ZERO 1205a5110d2SManos Pitsidianakis } 1215a5110d2SManos Pitsidianakis }; 1225a5110d2SManos Pitsidianakis } 1235a5110d2SManos Pitsidianakis 1245a5110d2SManos Pitsidianakis #[macro_export] 1255a5110d2SManos Pitsidianakis macro_rules! declare_properties { 1265a5110d2SManos Pitsidianakis ($ident:ident, $($prop:expr),*$(,)*) => { 127c92c447fSPaolo Bonzini pub static $ident: [$crate::bindings::Property; { 1285f997648SRichard Henderson let mut len = 0; 1295a5110d2SManos Pitsidianakis $({ 1305a5110d2SManos Pitsidianakis _ = stringify!($prop); 1315a5110d2SManos Pitsidianakis len += 1; 1325a5110d2SManos Pitsidianakis })* 1335a5110d2SManos Pitsidianakis len 134c92c447fSPaolo Bonzini }] = [ 1355a5110d2SManos Pitsidianakis $($prop),*, 136c92c447fSPaolo Bonzini ]; 1375a5110d2SManos Pitsidianakis }; 1385a5110d2SManos Pitsidianakis } 139ce4a144cSPaolo Bonzini 1406dd818fbSPaolo Bonzini unsafe impl ObjectType for DeviceState { 1416dd818fbSPaolo Bonzini type Class = DeviceClass; 1427bd8e3efSPaolo Bonzini const TYPE_NAME: &'static CStr = 143ce4a144cSPaolo Bonzini unsafe { CStr::from_bytes_with_nul_unchecked(bindings::TYPE_DEVICE) }; 1447bd8e3efSPaolo Bonzini } 145f50cd85cSPaolo Bonzini qom_isa!(DeviceState: Object); 146