diff --git a/include/arch/riscv/arch/fastpath/fastpath.h b/include/arch/riscv/arch/fastpath/fastpath.h
index 944eed919..bdcf0e32c 100644
--- a/include/arch/riscv/arch/fastpath/fastpath.h
+++ b/include/arch/riscv/arch/fastpath/fastpath.h
@@ -15,7 +15,6 @@
 #include <api/types.h>
 #include <smp/lock.h>
 #include <arch/machine/hardware.h>
-#include <arch/machine/fpu.h>
 #include <machine/fpu.h>
 
 void slowpath(syscall_t syscall)
diff --git a/src/arch/riscv/c_traps.c b/src/arch/riscv/c_traps.c
index 45d35719c..146325b7a 100644
--- a/src/arch/riscv/c_traps.c
+++ b/src/arch/riscv/c_traps.c
@@ -13,7 +13,6 @@
 #include <api/syscall.h>
 #include <util.h>
 #include <arch/machine/hardware.h>
-#include <arch/machine/fpu.h>
 #include <machine/fpu.h>
 
 #include <benchmark/benchmark_track.h>