bsps/riscv: Fix bsp_fdt_map_intr()

The interrupt numbers in the device tree are usually PLIC interrupts.  Map the
number to the vector number associated with an external interrupt.

1 files changed, 1 insertions, 1 deletions

diff --git a/bsps/riscv/riscv/start/bspstart.c b/bsps/riscv/riscv/start/bspstart.c
index 66e2934013..30d479ce88 100644
--- a/bsps/riscv/riscv/start/bspstart.c
+++ b/bsps/riscv/riscv/start/bspstart.c
@@ -212,7 +212,7 @@ uint32_t riscv_get_core_frequency(void)
 uint32_t bsp_fdt_map_intr(const uint32_t *intr, size_t icells)
 {
   (void) icells;
-  return intr[0];
+  return RISCV_INTERRUPT_VECTOR_EXTERNAL(intr[0]);
 }
 
 void bsp_start(void)