[dif,rv_plic] Make dif_rv_plic_irq_id_t an alias for dt_irq_t

This is for documentation purposes, to make it clear that DT IRQ IDs are PLIC IRQ IDs. Signed-off-by: Amaury Pouly <[email protected]>
pamaury · Aug 30, 2024 · 41b480d · 41b480d
1 parent 10ce872
commit 41b480d
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/sw/device/lib/dif/dif_rv_plic.h b/sw/device/lib/dif/dif_rv_plic.h
@@ -24,6 +24,8 @@
 #include "sw/device/lib/base/mmio.h"
 #include "sw/device/lib/dif/dif_base.h"
 
+#include "sw/device/lib/devicetables/dt_api.h"
+
 #include "sw/device/lib/dif/autogen/dif_rv_plic_autogen.h"
 
 #ifdef __cplusplus
@@ -51,7 +53,7 @@ extern const uint32_t kDifRvPlicMaxPriority;
  *
  * The value 0 corresponds to "No Interrupt".
  */
-typedef uint32_t dif_rv_plic_irq_id_t;
+typedef dt_irq_t dif_rv_plic_irq_id_t;
 
 /**
  * A PLIC interrupt target.