avoid pointer arithmetic

Signed-off-by: Axel Heider <[email protected]>
axel-h · Nov 20, 2023 · ee79561 · ee79561
1 parent 017182a
commit ee79561
Showing 1 changed file with 3 additions and 9 deletions.
diff --git a/src/object/interrupt.c b/src/object/interrupt.c
@@ -155,28 +155,22 @@ void invokeIRQHandler_AckIRQ(irq_t irq)
 
 void invokeIRQHandler_SetIRQHandler(irq_t irq, cap_t cap, cte_t *slot)
 {
-    cte_t *irqSlot;
-
-    irqSlot = intStateIRQNode + IRQT_TO_IDX(irq);
+    cte_t *irqSlot = &intStateIRQNode[IRQT_TO_IDX(irq)];
     /** GHOSTUPD: "(True, gs_set_assn cteDeleteOne_'proc (-1))" */
     cteDeleteOne(irqSlot);
     cteInsert(cap, slot, irqSlot);
 }
 
 void invokeIRQHandler_ClearIRQHandler(irq_t irq)
 {
-    cte_t *irqSlot;
-
-    irqSlot = intStateIRQNode + IRQT_TO_IDX(irq);
+    cte_t *irqSlot = &intStateIRQNode[IRQT_TO_IDX(irq)];
     /** GHOSTUPD: "(True, gs_set_assn cteDeleteOne_'proc (-1))" */
     cteDeleteOne(irqSlot);
 }
 
 void deletingIRQHandler(irq_t irq)
 {
-    cte_t *slot;
-
-    slot = intStateIRQNode + IRQT_TO_IDX(irq);
+    cte_t *irqSlot = &intStateIRQNode[IRQT_TO_IDX(irq)];
     /** GHOSTUPD: "(True, gs_set_assn cteDeleteOne_'proc (ucast cap_notification_cap))" */
     cteDeleteOne(slot);
 }