aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/arm/PL1/kernel/scheduler.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/arm/PL1/kernel/scheduler.c b/src/arm/PL1/kernel/scheduler.c
index 141ba1d..af9d05a 100644
--- a/src/arm/PL1/kernel/scheduler.c
+++ b/src/arm/PL1/kernel/scheduler.c
@@ -126,7 +126,7 @@ void __attribute__((noreturn)) schedule(void)
write_CPSR(new_CPSR);
- asm volatile("wfi");
+ asm volatile("wfi" ::: "memory");
__builtin_unreachable();
}