use two virtqueues for irq function, one for handling irq chip operations and one for handling interrupt. The irqchip supports level and edge trigger modes. v2: replace spin_lock_irqsave with

V1: Remove usage of hypervisor.h from inside BSP folder. Replace with only the required header files. V2: Added vm.h to ptdev.h to fix 4 potential MISRA-C violations. Tracked-On:

Remove usage of hypervisor.h from inside BSP folder. Replace with only the required header files. Tracked-On: #2893 Signed-off-by: Arindam Roy <arindam.roy@...> ---

It is coding style change. Binbin/Jason, Comments? Anthony

Except for few translation structures in x86 IOMMU, all translation structures are 128-bit. All the translation structures used by ACRN are 128 bit. So removed multiple definitions and defined a

Just curious, this path was not invoked for other guests?

Thanks!

Let me check that, and will keep it consist.

There are uart drivers which send data to hardware in ISR, like zephyr. Zephyr stores data in tx_ringbuf and then write the IER of UART to trigger tx interrupt. Finally, it write the data stored in

Accessing memory of guest will cause page fault when SMAP is enabled. This patch stac()/clac() correspondingly to get rid of this situation. Signed-off-by: Kaige Fu <kaige.fu@...> ---

Here is first patchset to enable zephyr as guest and contains two minor fix. Kaige Fu (2): HV: PAE: Add stac()/clac() in local_gva2gpa_pae DM: Don't check thre_int_pending before firing

Add dsdt for virtio-gpio device. Signed-off-by: Yuan Liu <yuan1.liu@...> --- devicemodel/hw/pci/virtio/virtio_gpio.c | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git

print each IRQ descriptor interrupts number and all of IRQ descriptors interrupts when UOS requests or releases a GPIO IRQ. Signed-off-by: Yuan Liu <yuan1.liu@...> ---

Support reading GPIO value when the GPIO switches to IRQ mode. Signed-off-by: Yuan Liu <yuan1.liu@...> --- devicemodel/hw/pci/virtio/virtio_gpio.c | 19 ++++++++++++++----- 1 file changed, 14

GPIO IRQ controller emulation is used to handle level trigger and edge trigger interrupts. Use GPIO IRQ virtqueue to handle IRQ chip operations and GPIO event virtqueue to indicate IRQ source to

add the GPIO IRQ definitions, and implement the GPIO IRQ initialization and deinitialization. Signed-off-by: Yuan Liu <yuan1.liu@...> --- devicemodel/hw/pci/virtio/virtio_gpio.c | 77

There are two virtqueues for irq, one for handling the operations of front-end irq controller and the other for triggering the interrupt. Signed-off-by: Yuan Liu <yuan1.liu@...> ---

virtio GPIO IRQ emaulates a GPIO IRQ controller to support level trigger and edge trigger interrupts, it uses two virtqueues one is for IRQ chip operations and another is to notify IRQ sources. Yuan