X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=bertos%2Fkern%2Fsem.c;h=7d07f4d6f61585b928e1361186857c0071cca5fd;hb=fb50d9a9ef1afffd6ababf97350b98dd5fb066ec;hp=cc9234aa64a020531a6c1e354d93bd595fd80f6d;hpb=0e8fc7e3fe0e2cb2e75d0b3b9da1899f74074d0c;p=bertos.git

diff --git a/bertos/kern/sem.c b/bertos/kern/sem.c
index cc9234aa..7d07f4d6 100644
--- a/bertos/kern/sem.c
+++ b/bertos/kern/sem.c
@@ -28,17 +28,16 @@
  *
  * Copyright 2001, 2004 Develer S.r.l. (http://www.develer.com/)
  * Copyright 1999, 2000, 2001 Bernie Innocenti <bernie@codewiz.org>
- *
  * -->
  *
  * \brief Semaphore based synchronization services.
  *
  * \version $Id$
- *
  * \author Bernie Innocenti <bernie@codewiz.org>
  */
 
 #include "sem.h"
+#include <cpu/irq.h> // ASSERT_IRQ_DISABLED()
 #include <kern/proc.h>
 #include <kern/proc_p.h>
 #include <kern/signal.h>
@@ -178,7 +177,7 @@ void sem_release(struct Semaphore *s)
 		{
 			s->nest_count = 1;
 			s->owner = proc;
-			SCHED_ENQUEUE(proc);
+			ATOMIC(SCHED_ENQUEUE(proc));
 		}
 	}