summaryrefslogtreecommitdiff
path: root/src/arch/riscv
diff options
context:
space:
mode:
Diffstat (limited to 'src/arch/riscv')
-rw-r--r--src/arch/riscv/arch_timer.c1
-rw-r--r--src/arch/riscv/misaligned.c1
-rw-r--r--src/arch/riscv/smp.c1
3 files changed, 0 insertions, 3 deletions
diff --git a/src/arch/riscv/arch_timer.c b/src/arch/riscv/arch_timer.c
index 7e9072b6cd..ad678b7fe5 100644
--- a/src/arch/riscv/arch_timer.c
+++ b/src/arch/riscv/arch_timer.c
@@ -3,7 +3,6 @@
#include <device/mmio.h>
#include <arch/encoding.h>
#include <console/console.h>
-#include <stddef.h>
#include <timer.h>
#include <mcall.h>
diff --git a/src/arch/riscv/misaligned.c b/src/arch/riscv/misaligned.c
index eff51fc96e..244081f384 100644
--- a/src/arch/riscv/misaligned.c
+++ b/src/arch/riscv/misaligned.c
@@ -1,6 +1,5 @@
/* SPDX-License-Identifier: GPL-2.0-only */
-#include <stddef.h>
#include <stdint.h>
#include <vm.h>
#include <arch/exception.h>
diff --git a/src/arch/riscv/smp.c b/src/arch/riscv/smp.c
index b3e13ff9fb..1d58602627 100644
--- a/src/arch/riscv/smp.c
+++ b/src/arch/riscv/smp.c
@@ -1,6 +1,5 @@
/* SPDX-License-Identifier: GPL-2.0-only */
-#include <stddef.h>
#include <arch/encoding.h>
#include <arch/smp/smp.h>
#include <arch/smp/spinlock.h>