Hi Andre,

On 05/03/18 16:03, Andre Przywara wrote:
The emulated ARM SBSA UART is using level triggered IRQ semantics,
however the current VGIC can only handle edge triggered IRQs, really.
Disable the existing workaround for this problem in case we have the
new VGIC in place, which can properly handle level triggered IRQs.

Signed-off-by: Andre Przywara <andre.przyw...@linaro.org>
Changelog RFC ... v1:
- no changes

  xen/arch/arm/vpl011.c | 4 ++++
  1 file changed, 4 insertions(+)

diff --git a/xen/arch/arm/vpl011.c b/xen/arch/arm/vpl011.c
index 5dcf4bec18..197ece8873 100644
--- a/xen/arch/arm/vpl011.c
+++ b/xen/arch/arm/vpl011.c
@@ -54,6 +54,7 @@ static void vpl011_update_interrupt_status(struct domain *d)
       * TODO: PL011 interrupts are level triggered which means
       * that interrupt needs to be set/clear instead of being
@@ -71,6 +72,9 @@ static void vpl011_update_interrupt_status(struct domain *d)
          vgic_inject_irq(d, NULL, GUEST_VPL011_SPI, true);
vpl011->shadow_uartmis = uartmis;
+    vgic_inject_irq(d, NULL, GUEST_VPL011_SPI, !!uartmis);

The !! is not necessary as the parameter is bool.

static uint8_t vpl011_read_data(struct domain *d)


Julien Grall

Xen-devel mailing list

Reply via email to