diff --git a/include/drivers/irq/hifive.h b/include/drivers/irq/riscv_plic0.h
similarity index 100%
rename from include/drivers/irq/hifive.h
rename to include/drivers/irq/riscv_plic0.h
diff --git a/src/plat/hifive/config.cmake b/src/plat/hifive/config.cmake
index b4feb2ca4..5696056ce 100644
--- a/src/plat/hifive/config.cmake
+++ b/src/plat/hifive/config.cmake
@@ -17,7 +17,7 @@ if(KernelPlatformHifive)
     list(APPEND KernelDTSList "src/plat/hifive/overlay-hifive.dts")
     declare_default_headers(
         TIMER_FREQUENCY 1000000llu PLIC_MAX_NUM_INT 53
-        INTERRUPT_CONTROLLER drivers/irq/hifive.h
+        INTERRUPT_CONTROLLER drivers/irq/riscv_plic0.h
     )
 else()
     unset(KernelPlatformFirstHartID CACHE)