diff options
| -rw-r--r-- | src/arm/PL1/kernel/scheduler.c | 2 |
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(); } |