diff options
author | gdisirio <gdisirio@35acf78f-673a-0410-8e92-d51de3d6d3f4> | 2011-12-28 09:09:50 +0000 |
---|---|---|
committer | gdisirio <gdisirio@35acf78f-673a-0410-8e92-d51de3d6d3f4> | 2011-12-28 09:09:50 +0000 |
commit | f32ad2889ebc84708208928983b2b5888399f234 (patch) | |
tree | 19880682d078a52a2546e6bd9c0f0a032b4e033b /os/ports/GCC | |
parent | 3b3e0f7712f97ff8d24aa1e3d40dc077765b976d (diff) | |
download | ChibiOS-f32ad2889ebc84708208928983b2b5888399f234.tar.gz ChibiOS-f32ad2889ebc84708208928983b2b5888399f234.tar.bz2 ChibiOS-f32ad2889ebc84708208928983b2b5888399f234.zip |
git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@3670 35acf78f-673a-0410-8e92-d51de3d6d3f4
Diffstat (limited to 'os/ports/GCC')
-rw-r--r-- | os/ports/GCC/ARMCMx/chcore_v6m.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/os/ports/GCC/ARMCMx/chcore_v6m.c b/os/ports/GCC/ARMCMx/chcore_v6m.c index fa5b6b8c3..933af5e16 100644 --- a/os/ports/GCC/ARMCMx/chcore_v6m.c +++ b/os/ports/GCC/ARMCMx/chcore_v6m.c @@ -133,7 +133,9 @@ __attribute__((naked)) #endif
void _port_switch_from_isr(void) {
+ dbg_check_lock();
chSchDoReschedule();
+ dbg_check_unlock();
asm volatile ("_port_exit_from_isr:" : : : "memory");
#if CORTEX_ALTERNATE_SWITCH
SCB_ICSR = ICSR_PENDSVSET;
|