arm_vcpu 0.5.11

Aarch64 VCPU implementation for 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
23
24
25
26
27
28
29
30

//! Host callbacks required by AArch64 vCPU implementation.

/// Host architecture operations required by AArch64 virtualization code.
#[ax_crate_interface::def_interface]
pub trait ArmVcpuHostIf {
    /// Inject a virtual interrupt through host GIC state.
    fn hardware_inject_virtual_interrupt(vector: u8);

    /// Handle or report a pending host IRQ.
    ///
    /// Some hosts acknowledge and dispatch the IRQ in this callback and return
    /// a placeholder vector to notify the vCPU loop that an external interrupt
    /// happened.
    fn fetch_irq() -> usize;

    /// Dispatch a host IRQ taken while running at the current exception level.
    fn handle_irq();
}

pub(crate) fn hardware_inject_virtual_interrupt(vector: u8) {
    ax_crate_interface::call_interface!(ArmVcpuHostIf::hardware_inject_virtual_interrupt(vector));
}

pub(crate) fn fetch_irq() -> usize {
    ax_crate_interface::call_interface!(ArmVcpuHostIf::fetch_irq())
}

pub(crate) fn handle_irq() {
    ax_crate_interface::call_interface!(ArmVcpuHostIf::handle_irq());
}