risc-v/mpfs: mpfs_timerisr: add missing header file

Add the header. Signed-off-by: Eero Nurkkala <[email protected]>
tiiuae · Nov 29, 2024 · 971afc9 · 971afc9
1 parent 9586542
commit 971afc9
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/arch/risc-v/src/mpfs/mpfs_timerisr.c b/arch/risc-v/src/mpfs/mpfs_timerisr.c
@@ -33,6 +33,7 @@
 #include <nuttx/spinlock.h>
 
 #include "riscv_internal.h"
+#include "riscv_sbi.h"
 
 #include "mpfs.h"
 #include "mpfs_clockconfig.h"