diff options
Diffstat (limited to 'src/arm/PL1/kernel/scheduler.c')
| -rw-r--r-- | src/arm/PL1/kernel/scheduler.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/arm/PL1/kernel/scheduler.c b/src/arm/PL1/kernel/scheduler.c index 141ba1d..1db8078 100644 --- a/src/arm/PL1/kernel/scheduler.c +++ b/src/arm/PL1/kernel/scheduler.c @@ -24,7 +24,7 @@ _Bool waiting_for_input = 0; _Bool waiting_for_output = 0; char waiting_output; -// 0 is kernel code in system mode is being run +// 0 if kernel code in system mode is being run // 1 if our process is being run // later when we have many processes and this will hold process id uint32_t current_process; @@ -126,7 +126,7 @@ void __attribute__((noreturn)) schedule(void) write_CPSR(new_CPSR); - asm volatile("wfi"); + asm volatile("wfi" ::: "memory"); __builtin_unreachable(); } |