libplatsupport: Annotate interrupts

Signed-off-by: Felix Schladt <[email protected]>
seL4 · Sep 1, 2023 · 3c0db13 · 3c0db13
1 parent b525ccc
commit 3c0db13
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/libplatsupport/src/mach/bcm/pl011_uart.c b/libplatsupport/src/mach/bcm/pl011_uart.c
@@ -101,9 +101,9 @@ static inline void pl011_uart_disable_fifo(ps_chardevice_t *dev)
 static inline void pl011_uart_enable_irqs(ps_chardevice_t *dev)
 {
     pl011_regs_t *r = pl011_uart_get_priv(dev);
-    r->imsc |= IMSC_RXIM;
-    r->imsc |= IMSC_RTIM;
-    r->imsc |= IMSC_OEIM;
+    r->imsc |= IMSC_RXIM; // Receive interrupt mask
+    r->imsc |= IMSC_RTIM; // Receive timeout interrupt mask
+    r->imsc |= IMSC_OEIM; // Overrun error interrupt mask
 }
 
 static inline void pl011_uart_disable_irqs(ps_chardevice_t *dev)