diff options
| -rw-r--r-- | docs/reports/kernel.txt | 20 | ||||
| -rw-r--r-- | os/kernel/src/chsem.c | 2 |
2 files changed, 11 insertions, 11 deletions
diff --git a/docs/reports/kernel.txt b/docs/reports/kernel.txt index 470220444..26740c62b 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 = 10648 +Kernel Size = 10616 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 = 9236 +Kernel Size = 9228 Platform : PowerPC 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 = 7672 +Kernel Size = 7676 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 = 7404 +Kernel Size = 7408 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 = 5032 +Kernel Size = 5028 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 = 4872 +Kernel Size = 4868 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 = 5132 +Kernel Size = 5128 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 = 5088 +Kernel Size = 5084 Platform : MSP430 OS Setup : Minimal kernel diff --git a/os/kernel/src/chsem.c b/os/kernel/src/chsem.c index 7af52d8b6..6327be451 100644 --- a/os/kernel/src/chsem.c +++ b/os/kernel/src/chsem.c @@ -172,8 +172,8 @@ msg_t chSemWaitTimeoutS(Semaphore *sp, systime_t time) { sp->s_cnt++;
return RDY_TIMEOUT;
}
- sem_insert(currp, &sp->s_queue);
currp->p_u.wtobjp = sp;
+ sem_insert(currp, &sp->s_queue);
return chSchGoSleepTimeoutS(THD_STATE_WTSEM, time);
}
return RDY_OK;
|