diff options
| author | Wojtek Kosior <kwojtus@protonmail.com> | 2020-01-18 01:01:40 +0100 |
|---|---|---|
| committer | Wojtek Kosior <kwojtus@protonmail.com> | 2020-01-18 01:01:40 +0100 |
| commit | 97b4856526fcca2c680e522aef5e74758c70c62b (patch) | |
| tree | da71b3297f33c73e1913ec8cb6eef984c4fcfdf8 | |
| parent | ce2f970e602997f11951f288ad0a694de93649d9 (diff) | |
| download | rpi-MMU-example-97b4856526fcca2c680e522aef5e74758c70c62b.tar.gz rpi-MMU-example-97b4856526fcca2c680e522aef5e74758c70c62b.zip | |
add memory to clobber list
| -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(); } |