[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 · Sep 3, 2024 · 3e2686b · 3e2686b
1 parent d34093a
commit 3e2686b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/sw/device/lib/dif/dif_rv_plic.h b/sw/device/lib/dif/dif_rv_plic.h
@@ -22,6 +22,7 @@
 
 #include "sw/device/lib/base/macros.h"
 #include "sw/device/lib/base/mmio.h"
+#include "sw/device/lib/devicetables/dt_api.h"
 #include "sw/device/lib/dif/dif_base.h"
 
 #include "sw/device/lib/dif/autogen/dif_rv_plic_autogen.h"
@@ -51,7 +52,7 @@ extern const uint32_t kDifRvPlicMaxPriority;
  *
  * The value 0 corresponds to "No Interrupt".
  */
-typedef uint32_t dif_rv_plic_irq_id_t;
+typedef dt_plic_irq_id_t dif_rv_plic_irq_id_t;
 
 /**
  * A PLIC interrupt target.