axvisor 0.5.5

A lightweight type-1 hypervisor based on ArceOS
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
31
32

mod api;
pub mod cache;

use crate::vmm::vm_list::get_vm_by_id;
use axaddrspace::{GuestPhysAddr, device::AccessWidth};
use axplat_riscv64_qemu_virt_hv::config::devices::PLIC_PADDR;
use axvisor_api::vmm::current_vm_id;

pub fn hardware_check() {
    // TODO: implement hardware checks for RISC-V64
    // check page table level like aarch64
}

pub fn inject_interrupt(irq_id: usize) {
    debug!("injecting interrupt id: {}", irq_id);

    // Get the instance of the vplic, and then inject virtual interrupt.
    let vplic = get_vm_by_id(current_vm_id())
        .unwrap()
        .get_devices()
        .find_mmio_dev(GuestPhysAddr::from_usize(PLIC_PADDR))
        .unwrap();

    // Calulate the pending register offset and value.
    let reg_offset = riscv_vplic::PLIC_PENDING_OFFSET + (irq_id / 32) * 4;
    let addr = GuestPhysAddr::from_usize(PLIC_PADDR + reg_offset);
    let width = AccessWidth::Dword;
    let val: u32 = 1 << (irq_id % 32);

    // Use a trick write to set the pending bit.
    let _ = vplic.handle_write(addr, width, val as _);
}