//! IRQ handle for interrupt injection.
use Arc;
/// Error type returned by the GIC SPI callback.
pub type IrqError = ;
/// Thread-safe GIC SPI callback: `(irq_number, level) -> Result<()>`.
pub type IrqCallback = dyn Fn + Send + Sync;
/// Encapsulates the interrupt delivery mechanism.
///
/// Holds the GIC SPI callback and the vCPU force-exit function,
/// both thread-safe.