14ed4da16SPaolo Bonzini // Copyright 2024 Red Hat, Inc. 24ed4da16SPaolo Bonzini // Author(s): Paolo Bonzini <pbonzini@redhat.com> 34ed4da16SPaolo Bonzini // SPDX-License-Identifier: GPL-2.0-or-later 44ed4da16SPaolo Bonzini 54ed4da16SPaolo Bonzini //! Bindings for interrupt sources 64ed4da16SPaolo Bonzini 7*e4fb0be1SPaolo Bonzini use std::{ 8*e4fb0be1SPaolo Bonzini ffi::{c_int, CStr}, 9*e4fb0be1SPaolo Bonzini marker::PhantomData, 10*e4fb0be1SPaolo Bonzini ptr, 11*e4fb0be1SPaolo Bonzini }; 124ed4da16SPaolo Bonzini 134ed4da16SPaolo Bonzini use crate::{ 1461faf6acSPaolo Bonzini bindings::{self, qemu_set_irq}, 159c9a6a88SPaolo Bonzini cell::Opaque, 164ed4da16SPaolo Bonzini prelude::*, 1761faf6acSPaolo Bonzini qom::ObjectClass, 184ed4da16SPaolo Bonzini }; 194ed4da16SPaolo Bonzini 209c9a6a88SPaolo Bonzini /// An opaque wrapper around [`bindings::IRQState`]. 219c9a6a88SPaolo Bonzini #[repr(transparent)] 229c9a6a88SPaolo Bonzini #[derive(Debug, qemu_api_macros::Wrapper)] 239c9a6a88SPaolo Bonzini pub struct IRQState(Opaque<bindings::IRQState>); 249c9a6a88SPaolo Bonzini 254ed4da16SPaolo Bonzini /// Interrupt sources are used by devices to pass changes to a value (typically 264ed4da16SPaolo Bonzini /// a boolean). The interrupt sink is usually an interrupt controller or 274ed4da16SPaolo Bonzini /// GPIO controller. 284ed4da16SPaolo Bonzini /// 294ed4da16SPaolo Bonzini /// As far as devices are concerned, interrupt sources are always active-high: 304ed4da16SPaolo Bonzini /// for example, `InterruptSource<bool>`'s [`raise`](InterruptSource::raise) 314ed4da16SPaolo Bonzini /// method sends a `true` value to the sink. If the guest has to see a 324ed4da16SPaolo Bonzini /// different polarity, that change is performed by the board between the 334ed4da16SPaolo Bonzini /// device and the interrupt controller. 349c9a6a88SPaolo Bonzini /// 354ed4da16SPaolo Bonzini /// Interrupts are implemented as a pointer to the interrupt "sink", which has 364ed4da16SPaolo Bonzini /// type [`IRQState`]. A device exposes its source as a QOM link property using 37559a779cSPaolo Bonzini /// a function such as [`SysBusDeviceMethods::init_irq`], and 384ed4da16SPaolo Bonzini /// initially leaves the pointer to a NULL value, representing an unconnected 394ed4da16SPaolo Bonzini /// interrupt. To connect it, whoever creates the device fills the pointer with 404ed4da16SPaolo Bonzini /// the sink's `IRQState *`, for example using `sysbus_connect_irq`. Because 414ed4da16SPaolo Bonzini /// devices are generally shared objects, interrupt sources are an example of 424ed4da16SPaolo Bonzini /// the interior mutability pattern. 434ed4da16SPaolo Bonzini /// 444ed4da16SPaolo Bonzini /// Interrupt sources can only be triggered under the Big QEMU Lock; `BqlCell` 454ed4da16SPaolo Bonzini /// allows access from whatever thread has it. 464ed4da16SPaolo Bonzini #[derive(Debug)] 474ed4da16SPaolo Bonzini #[repr(transparent)] 484ed4da16SPaolo Bonzini pub struct InterruptSource<T = bool> 494ed4da16SPaolo Bonzini where 504ed4da16SPaolo Bonzini c_int: From<T>, 514ed4da16SPaolo Bonzini { 529c9a6a88SPaolo Bonzini cell: BqlCell<*mut bindings::IRQState>, 534ed4da16SPaolo Bonzini _marker: PhantomData<T>, 544ed4da16SPaolo Bonzini } 554ed4da16SPaolo Bonzini 56d449d29aSPaolo Bonzini // SAFETY: the implementation asserts via `BqlCell` that the BQL is taken 57d449d29aSPaolo Bonzini unsafe impl<T> Sync for InterruptSource<T> where c_int: From<T> {} 58d449d29aSPaolo Bonzini 594ed4da16SPaolo Bonzini impl InterruptSource<bool> { 604ed4da16SPaolo Bonzini /// Send a low (`false`) value to the interrupt sink. lower(&self)614ed4da16SPaolo Bonzini pub fn lower(&self) { 624ed4da16SPaolo Bonzini self.set(false); 634ed4da16SPaolo Bonzini } 644ed4da16SPaolo Bonzini 654ed4da16SPaolo Bonzini /// Send a high-low pulse to the interrupt sink. pulse(&self)664ed4da16SPaolo Bonzini pub fn pulse(&self) { 674ed4da16SPaolo Bonzini self.set(true); 684ed4da16SPaolo Bonzini self.set(false); 694ed4da16SPaolo Bonzini } 704ed4da16SPaolo Bonzini 714ed4da16SPaolo Bonzini /// Send a high (`true`) value to the interrupt sink. raise(&self)724ed4da16SPaolo Bonzini pub fn raise(&self) { 734ed4da16SPaolo Bonzini self.set(true); 744ed4da16SPaolo Bonzini } 754ed4da16SPaolo Bonzini } 764ed4da16SPaolo Bonzini 774ed4da16SPaolo Bonzini impl<T> InterruptSource<T> 784ed4da16SPaolo Bonzini where 794ed4da16SPaolo Bonzini c_int: From<T>, 804ed4da16SPaolo Bonzini { 814ed4da16SPaolo Bonzini /// Send `level` to the interrupt sink. set(&self, level: T)824ed4da16SPaolo Bonzini pub fn set(&self, level: T) { 834ed4da16SPaolo Bonzini let ptr = self.cell.get(); 844ed4da16SPaolo Bonzini // SAFETY: the pointer is retrieved under the BQL and remains valid 854ed4da16SPaolo Bonzini // until the BQL is released, which is after qemu_set_irq() is entered. 864ed4da16SPaolo Bonzini unsafe { 874ed4da16SPaolo Bonzini qemu_set_irq(ptr, level.into()); 884ed4da16SPaolo Bonzini } 894ed4da16SPaolo Bonzini } 904ed4da16SPaolo Bonzini as_ptr(&self) -> *mut *mut bindings::IRQState919c9a6a88SPaolo Bonzini pub(crate) const fn as_ptr(&self) -> *mut *mut bindings::IRQState { 924ed4da16SPaolo Bonzini self.cell.as_ptr() 934ed4da16SPaolo Bonzini } 94e6f1195fSZhao Liu slice_as_ptr(slice: &[Self]) -> *mut *mut bindings::IRQState959c9a6a88SPaolo Bonzini pub(crate) const fn slice_as_ptr(slice: &[Self]) -> *mut *mut bindings::IRQState { 96e6f1195fSZhao Liu assert!(!slice.is_empty()); 97e6f1195fSZhao Liu slice[0].as_ptr() 98e6f1195fSZhao Liu } 994ed4da16SPaolo Bonzini } 1004ed4da16SPaolo Bonzini 1014ed4da16SPaolo Bonzini impl Default for InterruptSource { default() -> Self1024ed4da16SPaolo Bonzini fn default() -> Self { 1034ed4da16SPaolo Bonzini InterruptSource { 1044ed4da16SPaolo Bonzini cell: BqlCell::new(ptr::null_mut()), 1054ed4da16SPaolo Bonzini _marker: PhantomData, 1064ed4da16SPaolo Bonzini } 1074ed4da16SPaolo Bonzini } 1084ed4da16SPaolo Bonzini } 10961faf6acSPaolo Bonzini 11061faf6acSPaolo Bonzini unsafe impl ObjectType for IRQState { 11161faf6acSPaolo Bonzini type Class = ObjectClass; 11261faf6acSPaolo Bonzini const TYPE_NAME: &'static CStr = 11361faf6acSPaolo Bonzini unsafe { CStr::from_bytes_with_nul_unchecked(bindings::TYPE_IRQ) }; 11461faf6acSPaolo Bonzini } 11561faf6acSPaolo Bonzini qom_isa!(IRQState: Object); 116