1590faa03SPaolo Bonzini // Copyright 2024 Red Hat, Inc. 2590faa03SPaolo Bonzini // Author(s): Paolo Bonzini <pbonzini@redhat.com> 3590faa03SPaolo Bonzini // SPDX-License-Identifier: GPL-2.0-or-later 4590faa03SPaolo Bonzini 5d015d4cbSZhao Liu //! Bindings for `MemoryRegion`, `MemoryRegionOps` and `MemTxAttrs` 6590faa03SPaolo Bonzini 7590faa03SPaolo Bonzini use std::{ 8590faa03SPaolo Bonzini ffi::{CStr, CString}, 9590faa03SPaolo Bonzini marker::{PhantomData, PhantomPinned}, 10590faa03SPaolo Bonzini os::raw::{c_uint, c_void}, 11590faa03SPaolo Bonzini ptr::addr_of, 12590faa03SPaolo Bonzini }; 13590faa03SPaolo Bonzini 14d015d4cbSZhao Liu pub use bindings::{hwaddr, MemTxAttrs}; 15590faa03SPaolo Bonzini 16590faa03SPaolo Bonzini use crate::{ 17590faa03SPaolo Bonzini bindings::{self, device_endian, memory_region_init_io}, 18590faa03SPaolo Bonzini callbacks::FnCall, 19590faa03SPaolo Bonzini prelude::*, 20590faa03SPaolo Bonzini zeroable::Zeroable, 21590faa03SPaolo Bonzini }; 22590faa03SPaolo Bonzini 23590faa03SPaolo Bonzini pub struct MemoryRegionOps<T>( 24590faa03SPaolo Bonzini bindings::MemoryRegionOps, 25590faa03SPaolo Bonzini // Note: quite often you'll see PhantomData<fn(&T)> mentioned when discussing 26590faa03SPaolo Bonzini // covariance and contravariance; you don't need any of those to understand 27590faa03SPaolo Bonzini // this usage of PhantomData. Quite simply, MemoryRegionOps<T> *logically* 28590faa03SPaolo Bonzini // holds callbacks that take an argument of type &T, except the type is erased 29590faa03SPaolo Bonzini // before the callback is stored in the bindings::MemoryRegionOps field. 30590faa03SPaolo Bonzini // The argument of PhantomData is a function pointer in order to represent 31590faa03SPaolo Bonzini // that relationship; while that will also provide desirable and safe variance 32590faa03SPaolo Bonzini // for T, variance is not the point but just a consequence. 33590faa03SPaolo Bonzini PhantomData<fn(&T)>, 34590faa03SPaolo Bonzini ); 35590faa03SPaolo Bonzini 36590faa03SPaolo Bonzini // SAFETY: When a *const T is passed to the callbacks, the call itself 37590faa03SPaolo Bonzini // is done in a thread-safe manner. The invocation is okay as long as 38590faa03SPaolo Bonzini // T itself is `Sync`. 39590faa03SPaolo Bonzini unsafe impl<T: Sync> Sync for MemoryRegionOps<T> {} 40590faa03SPaolo Bonzini 41590faa03SPaolo Bonzini #[derive(Clone)] 42590faa03SPaolo Bonzini pub struct MemoryRegionOpsBuilder<T>(bindings::MemoryRegionOps, PhantomData<fn(&T)>); 43590faa03SPaolo Bonzini 44590faa03SPaolo Bonzini unsafe extern "C" fn memory_region_ops_read_cb<T, F: for<'a> FnCall<(&'a T, hwaddr, u32), u64>>( 45590faa03SPaolo Bonzini opaque: *mut c_void, 46590faa03SPaolo Bonzini addr: hwaddr, 47590faa03SPaolo Bonzini size: c_uint, 48590faa03SPaolo Bonzini ) -> u64 { 49590faa03SPaolo Bonzini F::call((unsafe { &*(opaque.cast::<T>()) }, addr, size)) 50590faa03SPaolo Bonzini } 51590faa03SPaolo Bonzini 52590faa03SPaolo Bonzini unsafe extern "C" fn memory_region_ops_write_cb<T, F: for<'a> FnCall<(&'a T, hwaddr, u64, u32)>>( 53590faa03SPaolo Bonzini opaque: *mut c_void, 54590faa03SPaolo Bonzini addr: hwaddr, 55590faa03SPaolo Bonzini data: u64, 56590faa03SPaolo Bonzini size: c_uint, 57590faa03SPaolo Bonzini ) { 58590faa03SPaolo Bonzini F::call((unsafe { &*(opaque.cast::<T>()) }, addr, data, size)) 59590faa03SPaolo Bonzini } 60590faa03SPaolo Bonzini 61590faa03SPaolo Bonzini impl<T> MemoryRegionOpsBuilder<T> { 62590faa03SPaolo Bonzini #[must_use] 63590faa03SPaolo Bonzini pub const fn read<F: for<'a> FnCall<(&'a T, hwaddr, u32), u64>>(mut self, _f: &F) -> Self { 64590faa03SPaolo Bonzini self.0.read = Some(memory_region_ops_read_cb::<T, F>); 65590faa03SPaolo Bonzini self 66590faa03SPaolo Bonzini } 67590faa03SPaolo Bonzini 68590faa03SPaolo Bonzini #[must_use] 69590faa03SPaolo Bonzini pub const fn write<F: for<'a> FnCall<(&'a T, hwaddr, u64, u32)>>(mut self, _f: &F) -> Self { 70590faa03SPaolo Bonzini self.0.write = Some(memory_region_ops_write_cb::<T, F>); 71590faa03SPaolo Bonzini self 72590faa03SPaolo Bonzini } 73590faa03SPaolo Bonzini 74590faa03SPaolo Bonzini #[must_use] 75590faa03SPaolo Bonzini pub const fn big_endian(mut self) -> Self { 76590faa03SPaolo Bonzini self.0.endianness = device_endian::DEVICE_BIG_ENDIAN; 77590faa03SPaolo Bonzini self 78590faa03SPaolo Bonzini } 79590faa03SPaolo Bonzini 80590faa03SPaolo Bonzini #[must_use] 81590faa03SPaolo Bonzini pub const fn little_endian(mut self) -> Self { 82590faa03SPaolo Bonzini self.0.endianness = device_endian::DEVICE_LITTLE_ENDIAN; 83590faa03SPaolo Bonzini self 84590faa03SPaolo Bonzini } 85590faa03SPaolo Bonzini 86590faa03SPaolo Bonzini #[must_use] 87590faa03SPaolo Bonzini pub const fn native_endian(mut self) -> Self { 88590faa03SPaolo Bonzini self.0.endianness = device_endian::DEVICE_NATIVE_ENDIAN; 89590faa03SPaolo Bonzini self 90590faa03SPaolo Bonzini } 91590faa03SPaolo Bonzini 92590faa03SPaolo Bonzini #[must_use] 93590faa03SPaolo Bonzini pub const fn valid_sizes(mut self, min: u32, max: u32) -> Self { 94590faa03SPaolo Bonzini self.0.valid.min_access_size = min; 95590faa03SPaolo Bonzini self.0.valid.max_access_size = max; 96590faa03SPaolo Bonzini self 97590faa03SPaolo Bonzini } 98590faa03SPaolo Bonzini 99590faa03SPaolo Bonzini #[must_use] 100590faa03SPaolo Bonzini pub const fn valid_unaligned(mut self) -> Self { 101590faa03SPaolo Bonzini self.0.valid.unaligned = true; 102590faa03SPaolo Bonzini self 103590faa03SPaolo Bonzini } 104590faa03SPaolo Bonzini 105590faa03SPaolo Bonzini #[must_use] 106590faa03SPaolo Bonzini pub const fn impl_sizes(mut self, min: u32, max: u32) -> Self { 107590faa03SPaolo Bonzini self.0.impl_.min_access_size = min; 108590faa03SPaolo Bonzini self.0.impl_.max_access_size = max; 109590faa03SPaolo Bonzini self 110590faa03SPaolo Bonzini } 111590faa03SPaolo Bonzini 112590faa03SPaolo Bonzini #[must_use] 113590faa03SPaolo Bonzini pub const fn impl_unaligned(mut self) -> Self { 114590faa03SPaolo Bonzini self.0.impl_.unaligned = true; 115590faa03SPaolo Bonzini self 116590faa03SPaolo Bonzini } 117590faa03SPaolo Bonzini 118590faa03SPaolo Bonzini #[must_use] 119590faa03SPaolo Bonzini pub const fn build(self) -> MemoryRegionOps<T> { 120590faa03SPaolo Bonzini MemoryRegionOps::<T>(self.0, PhantomData) 121590faa03SPaolo Bonzini } 122590faa03SPaolo Bonzini 123590faa03SPaolo Bonzini #[must_use] 124590faa03SPaolo Bonzini pub const fn new() -> Self { 125590faa03SPaolo Bonzini Self(bindings::MemoryRegionOps::ZERO, PhantomData) 126590faa03SPaolo Bonzini } 127590faa03SPaolo Bonzini } 128590faa03SPaolo Bonzini 129590faa03SPaolo Bonzini impl<T> Default for MemoryRegionOpsBuilder<T> { 130590faa03SPaolo Bonzini fn default() -> Self { 131590faa03SPaolo Bonzini Self::new() 132590faa03SPaolo Bonzini } 133590faa03SPaolo Bonzini } 134590faa03SPaolo Bonzini 135590faa03SPaolo Bonzini /// A safe wrapper around [`bindings::MemoryRegion`]. Compared to the 136590faa03SPaolo Bonzini /// underlying C struct it is marked as pinned because the QOM tree 137590faa03SPaolo Bonzini /// contains a pointer to it. 138590faa03SPaolo Bonzini pub struct MemoryRegion { 139590faa03SPaolo Bonzini inner: bindings::MemoryRegion, 140590faa03SPaolo Bonzini _pin: PhantomPinned, 141590faa03SPaolo Bonzini } 142590faa03SPaolo Bonzini 143590faa03SPaolo Bonzini impl MemoryRegion { 144590faa03SPaolo Bonzini // inline to ensure that it is not included in tests, which only 145590faa03SPaolo Bonzini // link to hwcore and qom. FIXME: inlining is actually the opposite 146590faa03SPaolo Bonzini // of what we want, since this is the type-erased version of the 147590faa03SPaolo Bonzini // init_io function below. Look into splitting the qemu_api crate. 148590faa03SPaolo Bonzini #[inline(always)] 149590faa03SPaolo Bonzini unsafe fn do_init_io( 150590faa03SPaolo Bonzini slot: *mut bindings::MemoryRegion, 151590faa03SPaolo Bonzini owner: *mut Object, 152590faa03SPaolo Bonzini ops: &'static bindings::MemoryRegionOps, 153590faa03SPaolo Bonzini name: &'static str, 154590faa03SPaolo Bonzini size: u64, 155590faa03SPaolo Bonzini ) { 156590faa03SPaolo Bonzini unsafe { 157590faa03SPaolo Bonzini let cstr = CString::new(name).unwrap(); 158590faa03SPaolo Bonzini memory_region_init_io( 159590faa03SPaolo Bonzini slot, 160*7fb4a99dSPaolo Bonzini owner.cast::<bindings::Object>(), 161590faa03SPaolo Bonzini ops, 162590faa03SPaolo Bonzini owner.cast::<c_void>(), 163590faa03SPaolo Bonzini cstr.as_ptr(), 164590faa03SPaolo Bonzini size, 165590faa03SPaolo Bonzini ); 166590faa03SPaolo Bonzini } 167590faa03SPaolo Bonzini } 168590faa03SPaolo Bonzini 169590faa03SPaolo Bonzini pub fn init_io<T: IsA<Object>>( 170590faa03SPaolo Bonzini &mut self, 171590faa03SPaolo Bonzini owner: *mut T, 172590faa03SPaolo Bonzini ops: &'static MemoryRegionOps<T>, 173590faa03SPaolo Bonzini name: &'static str, 174590faa03SPaolo Bonzini size: u64, 175590faa03SPaolo Bonzini ) { 176590faa03SPaolo Bonzini unsafe { 177590faa03SPaolo Bonzini Self::do_init_io(&mut self.inner, owner.cast::<Object>(), &ops.0, name, size); 178590faa03SPaolo Bonzini } 179590faa03SPaolo Bonzini } 180590faa03SPaolo Bonzini 181590faa03SPaolo Bonzini pub(crate) const fn as_mut_ptr(&self) -> *mut bindings::MemoryRegion { 182590faa03SPaolo Bonzini addr_of!(self.inner) as *mut _ 183590faa03SPaolo Bonzini } 184590faa03SPaolo Bonzini } 185590faa03SPaolo Bonzini 186590faa03SPaolo Bonzini unsafe impl ObjectType for MemoryRegion { 187590faa03SPaolo Bonzini type Class = bindings::MemoryRegionClass; 188590faa03SPaolo Bonzini const TYPE_NAME: &'static CStr = 189590faa03SPaolo Bonzini unsafe { CStr::from_bytes_with_nul_unchecked(bindings::TYPE_MEMORY_REGION) }; 190590faa03SPaolo Bonzini } 191590faa03SPaolo Bonzini qom_isa!(MemoryRegion: Object); 192d015d4cbSZhao Liu 193d015d4cbSZhao Liu /// A special `MemTxAttrs` constant, used to indicate that no memory 194d015d4cbSZhao Liu /// attributes are specified. 195d015d4cbSZhao Liu /// 196d015d4cbSZhao Liu /// Bus masters which don't specify any attributes will get this, 197d015d4cbSZhao Liu /// which has all attribute bits clear except the topmost one 198d015d4cbSZhao Liu /// (so that we can distinguish "all attributes deliberately clear" 199d015d4cbSZhao Liu /// from "didn't specify" if necessary). 200d015d4cbSZhao Liu pub const MEMTXATTRS_UNSPECIFIED: MemTxAttrs = MemTxAttrs { 201d015d4cbSZhao Liu unspecified: true, 202d015d4cbSZhao Liu ..Zeroable::ZERO 203d015d4cbSZhao Liu }; 204