From 3e2686bb17e868bda558637babb34d7872a694a9 Mon Sep 17 00:00:00 2001
From: Amaury Pouly <amaury.pouly@lowrisc.org>
Date: Fri, 30 Aug 2024 14:57:24 +0000
Subject: [PATCH] [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 <amaury.pouly@lowrisc.org>
---
 sw/device/lib/dif/dif_rv_plic.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/sw/device/lib/dif/dif_rv_plic.h b/sw/device/lib/dif/dif_rv_plic.h
index 402bf905132859..062b594f4407a9 100644
--- 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.