git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@1689 35acf78f-673a-0410-8e92-d51de3d6d3f4

2 files changed, 16 insertions, 16 deletions

diff --git a/docs/reports/kernel.txt b/docs/reports/kernel.txt
index 3800bf736..16362d899 100644
--- a/docs/reports/kernel.txt
+++ b/docs/reports/kernel.txt
@@ -8,7 +8,7 @@ Platform : PowerPC
 OS Setup : Full kernel
 Compiler : powerpc-eabi-gcc (Sourcery G++ Lite 4.4-79) 4.4.1
 Options  : -O2 -DCH_OPTIMIZE_SPEED=FALSE
-Kernel Size = 10608
+Kernel Size = 10592
 
 Platform : PowerPC
 OS Setup : Minimal kernel
@@ -26,7 +26,7 @@ Platform : PowerPC
 OS Setup : Full kernel
 Compiler : powerpc-eabi-gcc (Sourcery G++ Lite 4.4-79) 4.4.1
 Options  : -Os -DCH_OPTIMIZE_SPEED=FALSE
-Kernel Size = 9220
+Kernel Size = 9216
 
 Platform : PowerPC
 OS Setup : Minimal kernel
@@ -44,7 +44,7 @@ Platform : ARM Cortex-M3
 OS Setup : Full kernel
 Compiler : arm-elf-gcc (GCC) 4.4.2
 Options  : -O2 -mthumb -DCH_OPTIMIZE_SPEED=FALSE
-Kernel Size = 4960
+Kernel Size = 4956
 
 Platform : ARM Cortex-M3
 OS Setup : Minimal kernel
@@ -62,7 +62,7 @@ Platform : ARM Cortex-M3
 OS Setup : Full kernel
 Compiler : arm-elf-gcc (GCC) 4.4.2
 Options  : -Os -mthumb -DCH_OPTIMIZE_SPEED=FALSE
-Kernel Size = 4796
+Kernel Size = 4792
 
 Platform : ARM Cortex-M3
 OS Setup : Minimal kernel
@@ -80,7 +80,7 @@ Platform : ARM Cortex-M3
 OS Setup : Full kernel
 Compiler : arm-elf-gcc (GCC) 4.4.2
 Options  : -Os -mthumb -ffixed-r7 -DCH_CURRP_REGISTER_CACHE=\"r7\" -DCH_OPTIMIZE_SPEED=FALSE
-Kernel Size = 4624
+Kernel Size = 4620
 
 Platform : ARM Cortex-M3
 OS Setup : Minimal kernel
@@ -92,7 +92,7 @@ Platform : ARM7TDMI (ARM mode)
 OS Setup : Full kernel
 Compiler : arm-elf-gcc (GCC) 4.4.2
 Options  : -O2 -DCH_OPTIMIZE_SPEED=TRUE
-Kernel Size = 7964
+Kernel Size = 7968
 
 Platform : ARM7TDMI (ARM mode)
 OS Setup : Full kernel
@@ -110,7 +110,7 @@ Platform : ARM7TDMI (ARM mode)
 OS Setup : Full kernel
 Compiler : arm-elf-gcc (GCC) 4.4.2
 Options  : -Os -DCH_OPTIMIZE_SPEED=TRUE
-Kernel Size = 7708
+Kernel Size = 7712
 
 Platform : ARM7TDMI (ARM mode)
 OS Setup : Full kernel
@@ -128,7 +128,7 @@ Platform : ARM7TDMI (ARM mode)
 OS Setup : Full kernel
 Compiler : arm-elf-gcc (GCC) 4.4.2
 Options  : -O2 -ffixed-r7 -DCH_CURRP_REGISTER_CACHE=\"r7\" -DCH_OPTIMIZE_SPEED=TRUE
-Kernel Size = 7684
+Kernel Size = 7688
 
 Platform : ARM7TDMI (ARM mode)
 OS Setup : Full kernel
@@ -146,7 +146,7 @@ Platform : ARM7TDMI (ARM mode)
 OS Setup : Full kernel
 Compiler : arm-elf-gcc (GCC) 4.4.2
 Options  : -Os -ffixed-r7 -DCH_CURRP_REGISTER_CACHE=\"r7\" -DCH_OPTIMIZE_SPEED=TRUE
-Kernel Size = 7412
+Kernel Size = 7416
 
 Platform : ARM7TDMI (ARM mode)
 OS Setup : Full kernel
@@ -170,7 +170,7 @@ Platform : ARM7TDMI (THUMB mode)
 OS Setup : Full kernel
 Compiler : arm-elf-gcc (GCC) 4.4.2
 Options  : -O2 -mthumb -DCH_OPTIMIZE_SPEED=FALSE -DTHUMB -DTHUMB_PRESENT -DTHUMB_NO_INTERWORKING
-Kernel Size = 5028
+Kernel Size = 5024
 
 Platform : ARM7TDMI (THUMB mode)
 OS Setup : Minimal kernel
@@ -188,7 +188,7 @@ Platform : ARM7TDMI (THUMB mode)
 OS Setup : Full kernel
 Compiler : arm-elf-gcc (GCC) 4.4.2
 Options  : -Os -mthumb -DCH_OPTIMIZE_SPEED=FALSE -DTHUMB -DTHUMB_PRESENT -DTHUMB_NO_INTERWORKING
-Kernel Size = 4864
+Kernel Size = 4860
 
 Platform : ARM7TDMI (THUMB mode)
 OS Setup : Minimal kernel
@@ -206,7 +206,7 @@ Platform : ARM7TDMI (THUMB mode)
 OS Setup : Full kernel
 Compiler : arm-elf-gcc (GCC) 4.4.2
 Options  : -O2 -mthumb -ffixed-r7 -DCH_CURRP_REGISTER_CACHE=\"r7\" -DCH_OPTIMIZE_SPEED=FALSE -DTHUMB -DTHUMB_PRESENT -DTHUMB_NO_INTERWORKING
-Kernel Size = 4896
+Kernel Size = 4892
 
 Platform : ARM7TDMI (THUMB mode)
 OS Setup : Minimal kernel
@@ -224,7 +224,7 @@ Platform : ARM7TDMI (THUMB mode)
 OS Setup : Full kernel
 Compiler : arm-elf-gcc (GCC) 4.4.2
 Options  : -Os -mthumb -ffixed-r7 -DCH_CURRP_REGISTER_CACHE=\"r7\" -DCH_OPTIMIZE_SPEED=FALSE -DTHUMB -DTHUMB_PRESENT -DTHUMB_NO_INTERWORKING
-Kernel Size = 4708
+Kernel Size = 4704
 
 Platform : ARM7TDMI (THUMB mode)
 OS Setup : Minimal kernel
@@ -242,7 +242,7 @@ Platform : MSP430
 OS Setup : Full kernel
 Compiler : msp430-gcc (GCC) 3.2.3
 Options  : -O2 -DCH_OPTIMIZE_SPEED=FALSE
-Kernel Size = 5124
+Kernel Size = 5120
 
 Platform : MSP430
 OS Setup : Minimal kernel
@@ -260,7 +260,7 @@ Platform : MSP430
 OS Setup : Full kernel
 Compiler : msp430-gcc (GCC) 3.2.3
 Options  : -Os -DCH_OPTIMIZE_SPEED=FALSE
-Kernel Size = 5080
+Kernel Size = 5076
 
 Platform : MSP430
 OS Setup : Minimal kernel
diff --git a/os/kernel/src/chsem.c b/os/kernel/src/chsem.c
index b3f9936b2..9de6571d8 100644
--- a/os/kernel/src/chsem.c
+++ b/os/kernel/src/chsem.c
@@ -118,8 +118,8 @@ msg_t chSemWaitS(Semaphore *sp) {
   chDbgCheck(sp != NULL, "chSemWaitS");

 

   if (--sp->s_cnt < 0) {

-    sem_insert(currp, &sp->s_queue);

     currp->p_u.wtobjp = sp;

+    sem_insert(currp, &sp->s_queue);

     chSchGoSleepS(THD_STATE_WTSEM);

     return currp->p_u.rdymsg;

   }