diff options
| -rw-r--r-- | kern/semaphore_i.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kern/semaphore_i.h b/kern/semaphore_i.h index 6e79b137..21f76cf0 100644 --- a/kern/semaphore_i.h +++ b/kern/semaphore_i.h @@ -33,7 +33,7 @@ semaphore_dec(struct semaphore *semaphore) unsigned int prev, value; do { - value = semaphore->value; + value = atomic_load(&semaphore->value, ATOMIC_RELAXED); if (value == 0) { break; |