aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorgdisirio <gdisirio@35acf78f-673a-0410-8e92-d51de3d6d3f4>2010-02-28 12:47:06 +0000
committergdisirio <gdisirio@35acf78f-673a-0410-8e92-d51de3d6d3f4>2010-02-28 12:47:06 +0000
commit7d9957e5ef13c814dfe08c10502492178a88794f (patch)
treea64e2b761b8fede63b1a07649d543bbd25cb82de
parent370bbe3477b7f156b5da5b60764e31a0d8c4b4e6 (diff)
downloadChibiOS-7d9957e5ef13c814dfe08c10502492178a88794f.tar.gz
ChibiOS-7d9957e5ef13c814dfe08c10502492178a88794f.tar.bz2
ChibiOS-7d9957e5ef13c814dfe08c10502492178a88794f.zip
git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@1689 35acf78f-673a-0410-8e92-d51de3d6d3f4
-rw-r--r--docs/reports/kernel.txt30
-rw-r--r--os/kernel/src/chsem.c2
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;
}