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