xref: /qemu/rust/qemu-api/src/irq.rs (revision c5f122fdcc280a82e7c5f31de890f985aa7ba773)
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