axdevice_base 0.7.0

Basic traits and structures for emulated devices in ArceOS hypervisor.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

//! Architecture-independent virtual interrupt-controller capability.

use super::{ControllerInputId, InterruptControllerId, InterruptTrigger, IrqResult, WiredIrqInput};

/// Supplies controller-owned wired inputs to virtual devices.
///
/// vCPU context, register emulation, firmware description, host IRQ routing,
/// and EOI/deactivation remain owned by the architecture controller.
pub trait VirtualInterruptController: Send + Sync {
    /// Returns the controller identifier used by the VM device registry.
    fn id(&self) -> InterruptControllerId;

    /// Opens one controller input using the planned trigger semantics.
    ///
    /// Implementations must return shared input state for repeated calls that
    /// address the same input. A conflicting trigger request must fail.
    fn wired_input(
        &self,
        input: ControllerInputId,
        trigger: InterruptTrigger,
    ) -> IrqResult<WiredIrqInput>;
}