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.