libplatsupport: clear RX interrupt after RX irq callback (Exynos, ser…

…ial) This fixes issue seL4#3
andybui01 · Jul 27, 2016 · 05d0ae8 · 05d0ae8
1 parent 808f1a0
commit 05d0ae8
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/libplatsupport/src/mach/exynos/serial.c b/libplatsupport/src/mach/exynos/serial.c
@@ -324,6 +324,8 @@ uart_handle_rx_irq(ps_chardevice_t* d)
                                     d->read_descriptor.bytes_transfered,
                                     d->read_descriptor.token);
     }
+    /* Clear the pending flag */
+    *REG_PTR(d->vaddr, UINTP) = INT_RX;
 }
 
 static void uart_flush(ps_chardevice_t *d)